def Map.to_list

Base · base.bend:3020

3020def Map.to_list(a, -V: Kind(a), m: Map<a, V>) ->
3021  List<a, Sigma<&2, a, String, _ => V>>:
3022  Map.to_list.go(a, V, m, Nil{})