law nil_cons
import lawful-fields@0.1.1.0/proof_cut.bend as ProofCutimport Base
45law nil_cons:
46 for -x: U32
47 for -t: List<&2, U32>
48 for e: {Nil{} == x <> t : List<&2, U32>}
49 Empty
import lawful-fields@0.1.1.0/proof_cut.bend as ProofCutimport Base
45law nil_cons:
46 for -x: U32
47 for -t: List<&2, U32>
48 for e: {Nil{} == x <> t : List<&2, U32>}
49 Empty