|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | record_nameTy = ::mlir::StringAttr |
Public Member Functions | |
| auto | getRecordName () |
| void | setRecordName (const ::mlir::StringAttr &propValue) |
| bool | operator== (const Properties &rhs) const |
| bool | operator!= (const Properties &rhs) const |
Public Attributes | |
| record_nameTy | record_name |
| using llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties::record_nameTy = ::mlir::StringAttr |
|
inline |
|
inline |
|
inline |
|
inline |
| record_nameTy llzk::pod::detail::WritePodOpGenericAdaptorBase::Properties::record_name |