def truth

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/map_routing.bend:6

import Base

6# Logical forms of the existing executable routing predicates.
7def truth(b: Bool) -> Type:
8  match b:
9    case False{}:
10      Empty
11    case True{}:
12      Unit