def cmp_cell

minebender-game@1.0.0.0 · proof_solver.bend:192

import Base

192def cmp_cell(m: Maybe<&2, Bool>, b: Bool) -> Bool:
193  match m:
194    case None{}:
195      True{}
196    case Some{c}:
197      beq(b, c)