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