zkApp Developerso1js ReferenceType-AliasesToProvableToProvabletype ToProvable<A>: A extends { "provable": infer P; } ? P : A; Type parameters • A extends WithProvable<any> Source lib/provable/types/provable-intf.ts:135