def Map.from_list.go

Base · base.bend:3037

3037def Map.from_list.go(
3038  a, -V: Kind(a), kvs: List<a, Sigma<&2, a, String, _ => V>>, m: Map<a, V>
3039) -> Map<a, V>:
3040  match kvs:
3041    case Nil{}:
3042      m
3043    case (k, v) <> t:
3044      Map.from_list.go(a, V, t, Map.set(a, V, m, k, v))