|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Information needed to define a pod RecordAttr given a name and a value that will be stored in the record. More...
#include <POD.h>
Public Attributes | |
| MlirStringRef | name |
| Record name. | |
| MlirValue | value |
| Initial value for the record. | |
Information needed to define a pod RecordAttr given a name and a value that will be stored in the record.