def ord.id

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

import Base

419def ord.id(left: Id, right: Id) -> Ord:
420  match left right:
421    case IdNum{+n} IdNum{+m}:
422      ord.nat(Nat.is_eq(n, m), Nat.is_lt(n, m))
423    case IdNum{_n} IdWord{_s}:
424      Lt{}
425    case IdWord{_s} IdNum{_n}:
426      Gt{}
427    case IdWord{+s} IdWord{+t}:
428      ord.str(String.eq(s, t), String.is_le(s, t))