ProvableType
ProvableType: {
get: ToProvable<A>;
synthesize: T;
};
Defined in: lib/provable/types/provable-intf.ts:132
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