def same_len

mlbend-metrics@0.1.0.0 · main.bend:181

import Base

181def same_len(+n: Nat, +m: Nat) -> Result<&1, &1, Bad, Nat>:
182  same_len_of(Nat.is_eq(n, m), n, m)