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