def ord.pad

ezx@1.11.0.0 · src/git/git.bend:391

import ezx@1.11.0.0/src/git/git.bend as Git

import Base

391def ord.pad(xs: List<&2, Nat>) -> Ord:
392  match xs:
393    case Nil{}:
394      Eq{}
395    case Con{+h, t}:
396      ord.pad.at(Nat.is_eq(h, 0n), _u => ord.pad(t))

Uses (5)

Used by (1)

ezx@1.11.0.0/src/git/git:ord.nums