def nf

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver

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

27def nf(m: Maybe<&2, Bool>) -> Nat:
28  S.one_if(S.is_none(m))

Uses (5)