def Mag.then

bend-kit-bignum@0.1.0.0 · bigint.bend:101

import Base

101def Mag.then(hi: Cmp, lo: Cmp) -> Cmp:
102  match hi:
103    case EQ{}:
104      lo
105    case LT{}:
106      LT{}
107    case GT{}:
108      GT{}