def same_len_of

mlbend-metrics@0.1.0.0 · main.bend:173

import Base

173# the number of pairs to walk, or why the two sequences do not agree
174def same_len_of(s: Bool, +n: Nat, +m: Nat) -> Result<&1, &1, Bad, Nat>:
175  match s:
176    case True{}:
177      Done{n}
178    case False{}:
179      Fail{Mismatch{n, m}}