def array

import stelliferous@0.0.2.0/storage_allocation.bend as StorageAllocation

import Base

56def array(~Element: Data,depth: Nat,value: Element) -> Array<Element>:
57  storage(~Element,allocate(~Element,depth,value,0n))

Uses (4)