def main

bend-osdev-array@0.1.0.1 · check.bend:36

import Base
import bend-osdev-array@0.1.0.1/array.bend as A

36def main() -> IO(Unit):
37  do IO<Unit>:
38    IO.print(reads(9n, sample()))
39    IO.print(show_list(Array.to_list(~U32, sample())))
40    IO.print(Nat.show(A.Arrays.index(3n, 14)) ++ " " ++ Nat.show(A.Arrays.slots(3n)))