def i64.ord

emerging-eztoml@0.9.0.0 · main.bend:1676

import Base

1676# the first differing digit stands; a tie takes the new order
1677def i64.ord(seen: Cmp, now: Cmp) -> Cmp:
1678  match seen now:
1679    case EQ{} n:
1680      n
1681    case LT{} _n:
1682      LT{}
1683    case GT{} _n:
1684      GT{}