llzk::witgen::InputBinding Struct Reference

Describe one JSON-visible main input binding. More...

#include <WitnessSelection.h>

Public Attributes
std::string	name
mlir::Type	type
unsigned	index = 0

Detailed Description

Describe one JSON-visible main input binding.

Definition at line 26 of file WitnessSelection.h.

Member Data Documentation

index

unsigned llzk::witgen::InputBinding::index = 0

Definition at line 29 of file WitnessSelection.h.

name

std::string llzk::witgen::InputBinding::name

Definition at line 27 of file WitnessSelection.h.

type

mlir::Type llzk::witgen::InputBinding::type

Definition at line 28 of file WitnessSelection.h.

---

The documentation for this struct was generated from the following file:

• tools/llzk-witgen/WitnessSelection.h