def row_true

minebender-game@1.0.0.0 · solver.bend:144

import Base

144def row_true(r: List<&2, Maybe<&2, Bool>>) -> Nat:
145  match r:
146    case Nil{}:
147      0n
148    case m <> t:
149      Nat.add(one_if(is_true(m)), row_true(t))