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