def List.foldr

Base · base.bend:1079

1079def List.foldr(
1080  ~a: Quant, ~A: Kind(a), ~B: Type, ~f: A -> B -> B, xs: List<a, A>, z: B
1081) -> B:
1082  match xs:
1083    case Nil{}:
1084      z
1085    case h <> t:
1086      f(h, List.foldr(~a, ~A, ~B, ~f, t, z))