def Map.lo

Base · base.bend:2810

import Base

2810def Map.lo(
2811  a, -V: Kind(a), -R: Type, p2: Nat, hi: Map<a, V>, r0: Map<a, V> & R
2812) -> Map<a, V> & R:
2813  (lo2, r) = r0
2814  (MNode{p2, lo2, hi}, r)

Uses (4)

Used by (19)