llzk::witgen::OutputBinding Struct Reference

Describe one selected witness output leaf. More...

#include <WitnessSelection.h>

Public Attributes
llvm::SmallVector< std::string >	path
mlir::Type	type

Detailed Description

Describe one selected witness output leaf.

Definition at line 33 of file WitnessSelection.h.

Member Data Documentation

path

llvm::SmallVector<std::string> llzk::witgen::OutputBinding::path

Definition at line 34 of file WitnessSelection.h.

type

mlir::Type llzk::witgen::OutputBinding::type

Definition at line 35 of file WitnessSelection.h.

---

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

• tools/llzk-witgen/WitnessSelection.h