Type alias PODPCDRecordArg

Record container argument type encapsulating a record of POD PCD arguments. The POD names used here must correspond to those used in the proof configuration.

Generated using TypeDoc