def is_smaller

bend-lint-rules@0.2.0.0 · language/decreasing_call.bend:143

import Base

143def is_smaller(smaller: List<&2, Smaller>, hit: Bool, +root: U32, +field: U32) -> Bool:
144  match smaller hit:
145    case _ True{}:
146      True{}
147    case Nil{} False{}:
148      False{}
149    case Con{Smaller{r, f}, rest} False{}:
150      is_smaller(rest, U32.is_eq(r, root) && U32.is_eq(f, field), root, field)