def is_empty
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/lists.bend as Listsimport Base
73def is_empty(-A: Data, xs: List<&2,A>) -> Bool:
74 match xs:
75 case Nil{}: True{}
76 case Con{a,t}: False{}
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/lists.bend as Listsimport Base
73def is_empty(-A: Data, xs: List<&2,A>) -> Bool:
74 match xs:
75 case Nil{}: True{}
76 case Con{a,t}: False{}