~/jendhub

def pairs

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

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

79def pairs(rs: List<&2, U32>, +fs: List<&2, U32>, out: List<&2, Smaller>) -> List<&2, Smaller>:
80  match rs:
81    case Nil{}:
82      out
83    case Con{r, rest}:
84      pairs(rest, fs, pairs.of(r, fs, out))

Uses (4)

Used by (1)