def Map.hi

Base · base.bend:2816

import Base

2816def Map.hi(
2817  a, -V: Kind(a), -R: Type, p2: Nat, lo: Map<a, V>, r0: Map<a, V> & R
2818) -> Map<a, V> & R:
2819  (hi2, r) = r0
2820  (MNode{p2, lo, hi2}, r)

Uses (4)

Used by (19)