def Big.cmp

bend-kit-fmt@0.1.0.0 · fmt.bend:168

import Base

168def Big.cmp(a: List<&2, U32>, b: List<&2, U32>) -> Cmp:
169  match a b:
170    case Con{x, xs} Con{y, ys}:
171      Big.cmp.then(Big.cmp(xs, ys), U32.cmp(x, y))
172    case _ _:
173      EQ{}