def cam.gen

bend-osdev-camellia@0.1.0.0 · camellia.bend:42

import Base

42# the entries of a table for x = i, i + 1, .., i + n - 1
43def cam.gen(~f: U32 -> U32, n: Nat, +i: U32) -> List<&2, U32>:
44  match n:
45    case 0n:
46      Nil{}
47    case 1n+p:
48      Con{f(i), cam.gen(~f, p, U32.add(i, 1))}