def truth

stelliferous@0.0.2.0 · proofs/word_encoding.bend:105

import Base

105def truth(b: Bool) -> Type:
106  match b:
107    case False{}:
108      Empty
109    case True{}:
110      Unit