Skip to main content

ProvableType

ProvableType: {
  get: ToProvable<A>;
  synthesize: T;
};

Defined in: lib/provable/types/provable-intf.ts:132

Type declaration​

get()​

get<A>(type: A): ToProvable<A>;

Type Parameters​

A​

A extends unknown

Parameters​

type​

A

Returns​

ToProvable<A>

synthesize()​

synthesize<T>(type: ProvableType<T>): T;

Create some value of type T from its provable type description.

Type Parameters​

T​

T

Parameters​

type​

ProvableType<T>

Returns​

T