law every_condition_holds

stelliferous@0.0.2.0 · proofs/boolean_logic.bend:60

import Base

60law every_condition_holds:
61  for +conditions: List<&2,Bool>
62  for +index: Nat
63  for truth: {all(conditions) == True{} : Bool}
64  {condition_at(conditions,index) == True{} : Bool}