def Map.to_list.go

Base · base.bend:3009

import Base

3009def Map.to_list.go(
3010  a, -V: Kind(a), m: Map<a, V>, acc: List<a, Sigma<&2, a, String, _ => V>>
3011) -> List<a, Sigma<&2, a, String, _ => V>>:
3012  match m:
3013    case MTip{}:
3014      acc
3015    case MLeaf{k, v}:
3016      (k, v) <> acc
3017    case MNode{pos, lo, hi}:
3018      Map.to_list.go(a, V, lo, Map.to_list.go(a, V, hi, acc))

Uses (4)

Used by (7)