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