law fill_row_len

minebender-game@1.0.0.0 · proof_solver.bend:469

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

469law fill_row_len:
470  for +r: List<&2, Maybe<&2, Bool>>
471  {List.length(&2, Bool, S.fill.row(r)) == List.length(&2, Maybe<&2, Bool>, r) : Nat}