def all

stelliferous@0.0.2.0 · proofs/boolean_logic.bend:31

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

import Base

31# Stored in reverse evaluation order so all preserves left-associated &&.
32def all(conditions: List<&2,Bool>) -> Bool:
33  match conditions:
34    case Nil{}: True{}
35    case last <> prefix: Bool.and(all(prefix),last)

Uses (3)

Used by (2)