LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
LlzkRecordValue Struct Reference

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.

Detailed Description

Information needed to define a pod RecordAttr given a name and a value that will be stored in the record.

Definition at line 47 of file POD.h.

Member Data Documentation

◆ name

MlirStringRef LlzkRecordValue::name

Record name.

Definition at line 49 of file POD.h.

◆ value

MlirValue LlzkRecordValue::value

Initial value for the record.

Definition at line 51 of file POD.h.


The documentation for this struct was generated from the following file:
  • include/llzk-c/Dialect/POD.h