def ord.pad.at

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

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

import Base

384def ord.pad.at(zero: Bool, rest: Unit -> Ord) -> Ord:
385  match zero:
386    case False{}:
387      Lt{}
388    case True{}:
389      rest(Unit{})

Uses (3)

Used by (1)

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