def none_of

minebender-game@1.0.0.0 · proof_speed.bend:428

import Base
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/proof_base.bend as P

428def none_of(m: Maybe<&2, Bool>, e: {S.is_none(m) == True{} : Bool}) -> {m == None{} : Maybe<&2, Bool>}:
429  match m:
430    case Some{b}:
431      Empty.absurd({Some{b} == None{} : Maybe<&2, Bool>}, P.false_ne_true(e))
432    case None{}:
433      {==}