def AP.bool_t
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
19def AP.bool_t(b: Bool) -> Type:
20 match b:
21 case True{}:
22 Unit
23 case False{}:
24 Empty
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
19def AP.bool_t(b: Bool) -> Type:
20 match b:
21 case True{}:
22 Unit
23 case False{}:
24 Empty