~/jendhub

def truth

bend-collections-laws-math@1.0.0.0 · proofs/lib/logic.bend:5

import bend-collections-laws-math@1.0.0.0/proofs/lib/logic.bend as Logic
import Base

5def truth(b: Bool) -> Type:
6  match b:
7    case False{}:
8      Empty
9    case True{}:
10      Unit

Uses (3)

Used by (8)