API ReferencevariablesVoidVoidVoid: ProvablePureExtended<void, void, null>; Defined in: lib/proof-system/zkprogram.ts:69