def Map.values.go

Base · base.bend:3062

3062def Map.values.go(a, -V: Kind(a), m: Map<a, V>, acc: List<a, V>) -> List<a, V>:
3063  match m:
3064    case MTip{}:
3065      acc
3066    case MLeaf{k, v}:
3067      v <> acc
3068    case MNode{pos, lo, hi}:
3069      Map.values.go(a, V, lo, Map.values.go(a, V, hi, acc))