def ord.nums.at

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

import Base

398def ord.nums.at(order: Ord, rest: Unit -> Ord) -> Ord:
399  match order:
400    case Eq{}:
401      rest(Unit{})
402    case Lt{}:
403      Lt{}
404    case Gt{}:
405      Gt{}