def rows_of

mlbend-report@0.1.0.0 · main.bend:54

import Base

54# How many rows a matrix has.
55def rows_of(m: List<&2, List<&2, Nat>>) -> Nat:
56  match m:
57    case Nil{}:
58      0n
59    case Con{h, t}:
60      (1n + rows_of(t) : Nat)