def false_type

qasim-bend-kit@0.1.0.2 · proof/JSON_PrimitiveProof.bend:10

import Base

10def false_type(b: Bool) -> Data:
11    match b:
12        case False{}: Unit
13        case True{}: Empty