def osa

cli@0.2.0.0 · cli.bend:5721

import Base

5721def osa(a: String, +b: String) -> Nat:
5722  +first = row_zero(b, 0n)
5723  last_nat(osa_rows(a, None{}, 1n, b, first, first), 0n)