def nonempty

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/invariants.bend:41

import Base

41def nonempty(-V: Data, m: Map<&2, V>) -> Bool:
42  match m:
43    case MTip{}:
44      False{}
45    case other:
46      True{}