~/jendhub

def Map.has.leaf

Base · base.bend:2879

import Base
2879def Map.has.leaf(a, -V: Kind(a), v: V, r: (String & String) & Cmp) ->
2880  Map<a, V> & Bool:
2881  ((key2, k2), c) = r
2882  (MLeaf{k2, v}, Cmp.is_eq(c))

Uses (7)

Used by (2)