law pairs_of_flat_nil

bend-prot@0.1.0.0 · LAWS.bend:908

import Base
import bend-prot@0.1.0.0/sim.bend as Sim

908# No flats pair to nothing.
909law pairs_of_flat_nil:
910  {Sim.pairs_of_flat(Nil{}) == Nil{} : List<&1, U32 & U32>}