def row_none

minebender-game@1.0.0.0 · solver.bend:151

import Base

151def row_none(r: List<&2, Maybe<&2, Bool>>) -> Nat:
152  match r:
153    case Nil{}:
154      0n
155    case +m <> t:
156      Nat.add(one_if(is_none(m)), row_none(t))