|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | valueTy = ::mlir::StringAttr |
Public Member Functions | |
| auto | getValue () |
| void | setValue (const ::mlir::StringAttr &propValue) |
| bool | operator== (const Properties &rhs) const |
| bool | operator!= (const Properties &rhs) const |
Public Attributes | |
| valueTy | value |
| using llzk::string::detail::LitStringOpGenericAdaptorBase::Properties::valueTy = ::mlir::StringAttr |
|
inline |
|
inline |
|
inline |
|
inline |
| valueTy llzk::string::detail::LitStringOpGenericAdaptorBase::Properties::value |