Type alias ArgsOf<T>

ArgsOf<T>: T extends PCDPackage<any, any, infer U, any>
    ? U
    : T

Given a type extending PCDPackage, extracts the type of the parameter of its PCDPackage.prove function.

Type Parameters

  • T

Generated using TypeDoc