law empty_presence

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/native_map.bend:42

import Base

42law empty_presence:
43  {Map.bit.go(SNil{}, 0n, 0n) == (SNil{}, False{}) : String & Bool}