def alln

minebender-game@1.0.0.0 · proof_cells.bend:285

import Base

285# Every element of xs is below n.
286def alln(xs: List<&2, Nat>, +n: Nat) -> Bool:
287  match xs:
288    case Nil{}:
289      True{}
290    case x <> t:
291      Nat.is_lt(x, n) && alln(t, n)