law pl_ft
import lawful-bytes@0.1.1.0/proof_list.bend as ProofListimport Base
18law pl_ft:
19 for e: {False{} == True{} : Bool}
20 Empty
import lawful-bytes@0.1.1.0/proof_list.bend as ProofListimport Base
18law pl_ft:
19 for e: {False{} == True{} : Bool}
20 Empty