~/jendhub

def Holds

stelliferous@0.0.2.0 · proofs/boolean_logic.bend:37

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

37# Evidence for every condition, in the same reverse order as all.
38def Holds(conditions: List<&2,Bool>) -> Data:
39  match conditions:
40    case Nil{}: Unit
41    case last <> prefix: Shape.Both<{last == True{} : Bool},Holds(prefix)>

Uses (4)

Used by (1)