def Map.from_list
import Base3046def Map.from_list(a, -V: Kind(a), kvs: List<a, Sigma<&2, a, String, _ => V>>) ->
3047 Map<a, V>:
3048 Map.from_list.go(a, V, kvs, MTip{})
Uses (5)
Used by (0)
No other definition uses this definition.
import Base3046def Map.from_list(a, -V: Kind(a), kvs: List<a, Sigma<&2, a, String, _ => V>>) ->
3047 Map<a, V>:
3048 Map.from_list.go(a, V, kvs, MTip{})
No other definition uses this definition.