def tf

minebender-game@1.0.0.0 · proof_solver.bend:24

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

24def tf(m: Maybe<&2, Bool>) -> Nat:
25  S.one_if(S.is_true(m))