def List.range.go

Base · base.bend:1039

1039def List.range.go(+n: Nat, acc: List<&2, Nat>) -> List<&2, Nat>:
1040  match n:
1041    case 0n:
1042      acc
1043    case 1n+p:
1044      List.range.go(p, p <> acc)