~/jendhub

def cells_of

mlbend-report@0.1.0.0 · main.bend:62

import mlbend-report@0.1.0.0/main.bend as MlbendReport
import Base

62# How many cells a row has.
63def cells_of(row: List<&2, Nat>) -> Nat:
64  match row:
65    case Nil{}:
66      0n
67    case Con{h, t}:
68      (1n + cells_of(t) : Nat)

Uses (3)

Used by (1)