zuse: add +got and +has arms to +ordered-map
::
?~ b a
$(b t.b, a (put a i.b))
- ::
:: +get: get val at key or return ~
::
++ get
?: (compare b key.n.a)
$(a l.a)
$(a r.a)
+ :: +got: need value at key
+ ::
+ ++ got
+ |= [a=(tree item) b=key]
+ ^- val
+ (need (get a b))
+ :: +has: check for key existence
+ ::
+ ++ has
+ ~/ %has
+ |= [a=(tree item) b=key]
+ ^- ?
+ !=(~ (get a b))
:: +nip: remove root; for internal use
::
++ nip
