def Map.get

Base · base.bend:2937

import Base

2937def Map.get(-V: Data, d: V, m: Map<&2, V>, key: String) -> Map<&2, V> & V:
2938  match m:
2939    case MTip{}:
2940      (MTip{}, d)
2941    case MLeaf{k, v}:
2942      Map.get.leaf(V, d, v, String.cmp(key, k))
2943    case MNode{+pos, lo, hi}:
2944      Map.get.go(V, MNode{pos, lo, hi}, d, Map.bit(key, pos))

Uses (8)

Used by (55)