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
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.