llzk::witgen::StructValue Struct Reference

Materialized struct value keyed by member name. More...

#include <ValueModel.h>

Collaboration diagram for llzk::witgen::StructValue:

Public Attributes
component::StructType	type
llvm::DenseMap< llvm::StringRef, WitnessVal >	members

Detailed Description

Materialized struct value keyed by member name.

Definition at line 74 of file ValueModel.h.

Member Data Documentation

members

llvm::DenseMap<llvm::StringRef, WitnessVal> llzk::witgen::StructValue::members

Definition at line 76 of file ValueModel.h.

type

component::StructType llzk::witgen::StructValue::type

Definition at line 75 of file ValueModel.h.

---

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

• tools/llzk-witgen/ValueModel.h