def csum

minebender-game@1.0.0.0 · proof_sums.bend:71

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B

71# The sum of f over the cells ps of the grid.
72def csum(~A: Data, ~f: A -> Nat, +d: A, +g: T.Grid(A), ps: List<&2, T.Pos>) -> Nat:
73  match ps:
74    case Nil{}:
75      0n
76    case q <> t:
77      Nat.add(f(B.at(A, d, g, q)), csum(~A, ~f, d, g, t))