def pairs.of

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

import bend-lint-rules@0.2.0.0/language/decreasing_call.bend as DecreasingCall

import Base

72def pairs.of(+r: U32, fs: List<&2, U32>, out: List<&2, Smaller>) -> List<&2, Smaller>:
73  match fs:
74    case Nil{}:
75      out
76    case Con{f, rest}:
77      pairs.of(r, rest, Smaller{r, f} <> out)

Uses (3)

Used by (1)

bend-lint-rules@0.2.0.0/language/decreasing_call:pairs