ProvableType
ProvableType: {
"get": ToProvable<A>;
"synthesize": T;
};
Type declaration
get()
Type parameters
• A extends unknown
Parameters
• type: A
Returns
ToProvable\<A>
synthesize()
Create some value of type T from its provable type description.
Type parameters
• T
Parameters
• type: ProvableType\<T, any>
Returns
T