~/jendhub

def When

stelliferous@0.0.2.0 · proofs/boolean_logic.bend:6

import stelliferous@0.0.2.0/proofs/boolean_logic.bend as BooleanLogic
import Base

6# Evidence is required only for an enabled branch.
7def When(enabled: Bool,Property: Data) -> Data:
8  match enabled:
9    case False{}: Unit
10    case True{}: Property

Uses (2)

Used by (1)