def Vec

bend-lawful-stdlib@0.1.0.0 · src/vec.bend:16

import Base

16def Vec(-A: Data, n: Nat) -> Data:
17  match n:
18    case 0n:
19      Unit
20    case 1n+p:
21      Sigma<&2, &2, A, _ => Vec(A, p)>