def false_type

qasim-bend-kit@0.1.0.2 · proof/AES_StringEqProof.bend:4

import Base

4def false_type(b: Bool) -> Data:
5    match b:
6        case False{}: Unit
7        case True{}: Empty