Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 12345]

►Nllvm
CDenseMapInfo< llzk::ConstrainRef >
CDenseMapInfo< llzk::ExpressionValue >
CDenseMapInfo< llzk::Side >
CDenseMapInfo< OperationComparator >
CDenseMapInfo< ReferenceID >	Allows ReferenceID to be a DenseMap key
CDenseMapInfo<::llzk::boolean::FeltCmpPredicate >
CDenseMapInfo<::llzk::OutputStream >
CDenseMapInfo<::llzk::polymorphic::StructCleanupMode >
CDOTGraphTraits< const llzk::SymbolDefTree * >
CDOTGraphTraits< const llzk::SymbolDefTreeNode * >
CDOTGraphTraits< const llzk::SymbolUseGraph * >
CDOTGraphTraits< const llzk::SymbolUseGraphNode * >
CGraphTraits
CGraphTraits< const llzk::CallGraph * >
CGraphTraits< const llzk::CallGraphNode * >
CGraphTraits< const llzk::SymbolDefTree * >
CGraphTraits< const llzk::SymbolDefTreeNode * >
CGraphTraits< const llzk::SymbolUseGraph * >
CGraphTraits< const llzk::SymbolUseGraphNode * >
CGraphTraits< Inverse< const llzk::SymbolUseGraph * > >
CGraphTraits< Inverse< const llzk::SymbolUseGraphNode * > >
►Nllzk
►Narray
►Ndetail
►CArrayAccessOpInterfaceInterfaceTraits
CConcept
CExternalModel
CFallbackModel
CModel
CArrayAccessOpInterfaceTrait
CArrayLengthOpGenericAdaptorBase
►CArrayRefOpInterfaceInterfaceTraits
CConcept
CExternalModel
CFallbackModel
CModel
CArrayRefOpInterfaceTrait
CArrayTypeStorage
►CCreateArrayOpGenericAdaptorBase
CProperties
CExtractArrayOpGenericAdaptorBase
CInsertArrayOpGenericAdaptorBase
CReadArrayOpGenericAdaptorBase
CWriteArrayOpGenericAdaptorBase
►Nimpl
CArrayToScalarPassBase
►CArrayAccessOpInterface
CTrait
CArrayDialect
CArrayIndexGen	Helper for converting between linear and multi-dimensional indexing with checks to ensure indices are in range for the ArrayType
CArrayLengthOp
CArrayLengthOpAdaptor
CArrayLengthOpGenericAdaptor
►CArrayRefOpInterface
CTrait
CArrayType
CCreateArrayOp
CCreateArrayOpAdaptor
CCreateArrayOpGenericAdaptor
CExtractArrayOp
CExtractArrayOpAdaptor
CExtractArrayOpGenericAdaptor
CInsertArrayOp
CInsertArrayOpAdaptor
CInsertArrayOpGenericAdaptor
CReadArrayOp
CReadArrayOpAdaptor
CReadArrayOpGenericAdaptor
CWriteArrayOp
CWriteArrayOpAdaptor
CWriteArrayOpGenericAdaptor
►Nboolean
►Ndetail
CAndBoolOpGenericAdaptorBase
►CAssertOpGenericAdaptorBase
CProperties
►CCmpOpGenericAdaptorBase
CProperties
CNotBoolOpGenericAdaptorBase
COrBoolOpGenericAdaptorBase
CXorBoolOpGenericAdaptorBase
CAndBoolOp
CAndBoolOpAdaptor
CAndBoolOpGenericAdaptor
CAssertOp
CAssertOpAdaptor
CAssertOpGenericAdaptor
CBoolDialect
CCmpOp
CCmpOpAdaptor
CCmpOpGenericAdaptor
CNotBoolOp
CNotBoolOpAdaptor
CNotBoolOpGenericAdaptor
COrBoolOp
COrBoolOpAdaptor
COrBoolOpGenericAdaptor
CXorBoolOp
CXorBoolOpAdaptor
CXorBoolOpGenericAdaptor
►Ncast
►Ndetail
CFeltToIndexOpGenericAdaptorBase
CIntToFeltOpGenericAdaptorBase
CCastDialect
CFeltToIndexOp
CFeltToIndexOpAdaptor
CFeltToIndexOpGenericAdaptor
CIntToFeltOp
CIntToFeltOpAdaptor
CIntToFeltOpGenericAdaptor
►Ncomponent
►Ndetail
CCreateStructOpGenericAdaptorBase
►CFieldDefOpGenericAdaptorBase
CProperties
►CFieldReadOpGenericAdaptorBase
CProperties
►CFieldRefOpInterfaceInterfaceTraits
CConcept
CExternalModel
CFallbackModel
CModel
CFieldRefOpInterfaceTrait
►CFieldWriteOpGenericAdaptorBase
CProperties
►CStructDefOpGenericAdaptorBase
CProperties
CStructTypeStorage
CCreateStructOp
CCreateStructOpAdaptor
CCreateStructOpGenericAdaptor
CFieldDefOp
CFieldDefOpAdaptor
CFieldDefOpGenericAdaptor
CFieldReadOp
CFieldReadOpAdaptor
CFieldReadOpGenericAdaptor
►CFieldRefOpInterface
CTrait
CFieldWriteOp
CFieldWriteOpAdaptor
CFieldWriteOpGenericAdaptor
►CInStructFunctionNamed	This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name
CImpl
CSetFuncAllowAttrs	Only valid/implemented for StructDefOp
CStructDefOp
CStructDefOpAdaptor
CStructDefOpGenericAdaptor
CStructDialect
CStructType
►Nconstrain
►Ndetail
►CConstraintOpInterfaceInterfaceTraits
CConcept
CExternalModel
CFallbackModel
CModel
CConstraintOpInterfaceTrait
CEmitContainmentOpGenericAdaptorBase
CEmitEqualityOpGenericAdaptorBase
CConstrainDialect
►CConstraintOpInterface
CTrait
CEmitContainmentOp
CEmitContainmentOpAdaptor
CEmitContainmentOpGenericAdaptor
CEmitEqualityOp
CEmitEqualityOpAdaptor
CEmitEqualityOpGenericAdaptor
►Ndataflow
CAbstractDenseForwardDataFlowAnalysis	LLZK: This class has been ported from the MLIR DenseAnalysis utilities to allow for the use of custom LLZK symbol lookup logic
CAbstractLatticeValue
CDenseForwardDataFlowAnalysis	LLZK: This class has been ported so that it can inherit from our port of the AbstractDenseForwardDataFlowAnalysis above
►Nfelt
►Ndetail
CAddFeltOpGenericAdaptorBase
CAndFeltOpGenericAdaptorBase
CDivFeltOpGenericAdaptorBase
►CFeltConstantOpGenericAdaptorBase
CProperties
CFeltNonDetOpGenericAdaptorBase
CInvFeltOpGenericAdaptorBase
CModFeltOpGenericAdaptorBase
CMulFeltOpGenericAdaptorBase
CNegFeltOpGenericAdaptorBase
CNotFeltOpGenericAdaptorBase
COrFeltOpGenericAdaptorBase
CShlFeltOpGenericAdaptorBase
CShrFeltOpGenericAdaptorBase
CSubFeltOpGenericAdaptorBase
CXorFeltOpGenericAdaptorBase
CAddFeltOp
CAddFeltOpAdaptor
CAddFeltOpGenericAdaptor
CAndFeltOp
CAndFeltOpAdaptor
CAndFeltOpGenericAdaptor
CDivFeltOp
CDivFeltOpAdaptor
CDivFeltOpGenericAdaptor
CFeltConstantOp
CFeltConstantOpAdaptor
CFeltConstantOpGenericAdaptor
CFeltDialect
CFeltNonDetOp
CFeltNonDetOpAdaptor
CFeltNonDetOpGenericAdaptor
CFeltType
CInvFeltOp
CInvFeltOpAdaptor
CInvFeltOpGenericAdaptor
CModFeltOp
CModFeltOpAdaptor
CModFeltOpGenericAdaptor
CMulFeltOp
CMulFeltOpAdaptor
CMulFeltOpGenericAdaptor
CNegFeltOp
CNegFeltOpAdaptor
CNegFeltOpGenericAdaptor
CNotFeltOp
CNotFeltOpAdaptor
CNotFeltOpGenericAdaptor
COrFeltOp
COrFeltOpAdaptor
COrFeltOpGenericAdaptor
CShlFeltOp
CShlFeltOpAdaptor
CShlFeltOpGenericAdaptor
CShrFeltOp
CShrFeltOpAdaptor
CShrFeltOpGenericAdaptor
CSubFeltOp
CSubFeltOpAdaptor
CSubFeltOpGenericAdaptor
CXorFeltOp
CXorFeltOpAdaptor
CXorFeltOpGenericAdaptor
►Nfunction
►Ndetail
►CCallOpGenericAdaptorBase
CProperties
►CFuncDefOpGenericAdaptorBase
CProperties
CReturnOpGenericAdaptorBase
CCallOp
CCallOpAdaptor
CCallOpGenericAdaptor
CConstraintGen	Marker for ops that are specific to constraint generation
CFuncDefOp
CFuncDefOpAdaptor
CFuncDefOpGenericAdaptor
CFunctionDialect
CReturnOp
CReturnOpAdaptor
CReturnOpGenericAdaptor
CWitnessGen	Marker for ops that are specific to witness generation
►Nglobal
►Ndetail
►CGlobalDefOpGenericAdaptorBase
CProperties
►CGlobalReadOpGenericAdaptorBase
CProperties
►CGlobalRefOpInterfaceInterfaceTraits
CConcept
CExternalModel
CFallbackModel
CModel
CGlobalRefOpInterfaceTrait
►CGlobalWriteOpGenericAdaptorBase
CProperties
CGlobalDefOp
CGlobalDefOpAdaptor
CGlobalDefOpGenericAdaptor
CGlobalDialect
CGlobalReadOp
CGlobalReadOpAdaptor
CGlobalReadOpGenericAdaptor
►CGlobalRefOpInterface
CTrait
CGlobalWriteOp
CGlobalWriteOpAdaptor
CGlobalWriteOpGenericAdaptor
►Nimpl
CCallGraphPrinterPassBase
CCallGraphSCCsPrinterPassBase
CConstraintDependencyGraphPrinterPassBase
CFieldWriteValidatorPassBase
CIntervalAnalysisPrinterPassBase
CPolyLoweringPassBase
CR1CSLoweringPassBase
CRedundantOperationEliminationPassBase
CRedundantReadAndWriteEliminationPassBase
CSymbolDefTreePrinterPassBase
CSymbolUseGraphPrinterPassBase
CUnusedDeclarationEliminationPassBase
►Ninclude
►Ndetail
►CIncludeOpGenericAdaptorBase
CProperties
►Nimpl
CInlineIncludesPassBase
CIncludeDialect
CIncludeOp
CIncludeOpAdaptor
CIncludeOpGenericAdaptor
►Npolymorphic
►Ndetail
►CApplyMapOpGenericAdaptorBase
CProperties
CCallOpClassReplacePattern
►CConstReadOpGenericAdaptorBase
CProperties
CCreateArrayOpClassReplacePattern
CGeneralTypeReplacePattern
CTypeVarTypeStorage
CUnifiableCastOpGenericAdaptorBase
►Nimpl
CEmptyParamListRemovalPassBase
CFlatteningPassBase
CApplyMapOp
CApplyMapOpAdaptor
CApplyMapOpGenericAdaptor
CConstReadOp
CConstReadOpAdaptor
CConstReadOpGenericAdaptor
CFlatteningPassOptions
CPolymorphicDialect
CTypeVarType
CUnifiableCastOp
CUnifiableCastOpAdaptor
CUnifiableCastOpGenericAdaptor
►Nstring
►Ndetail
►CLitStringOpGenericAdaptorBase
CProperties
CLitStringOp
CLitStringOpAdaptor
CLitStringOpGenericAdaptor
CStringDialect
CStringType
►Nundef
►Ndetail
CUndefOpGenericAdaptorBase
CUndefDialect
CUndefOp
CUndefOpAdaptor
CUndefOpGenericAdaptor
CAuxAssignment
CBuildShortTypeString	Note: If any symbol refs in an input Type/Attribute use any of the special characters that this class generates, they are not escaped
CCallGraph	This is a port of mlir::CallGraph that has been adapted to use the custom symbol lookup helpers (see SymbolHelper.h)
CCallGraphAnalysis	An analysis wrapper to compute the `CallGraph` for a `Module`
►CCallGraphNode	This is a simple port of the mlir::CallGraphNode with llzk::CallGraph as a friend class, for mlir::CallGraphNode has a private constructor and can only be constructed by mlir::CallGraph
CEdge	This class represents a directed edge between two nodes in the callgraph
CCallGraphPrinterPass
CCallGraphReachabilityAnalysis	Lazily-constructed reachability analysis
CCallGraphSCCsPrinterPass
►CConstrainRef	Defines a reference to a llzk object within a constrain function call
CHash
CConstrainRefAnalysis	The dataflow analysis that computes the set of references that LLZK operations use and produce
►CConstrainRefIndex	Defines an index into an LLZK object
CHash
CConstrainRefLattice	A lattice for use in dense analysis
CConstrainRefLatticeValue	A value at a given point of the ConstrainRefLattice
CConstrainRefSet
CConstraintDependencyGraph	A dependency graph of constraints enforced by an LLZK struct
CConstraintDependencyGraphModuleAnalysis	A module-level analysis for constructing ConstraintDependencyGraph objects for all structs in the given LLZK module
CConstraintDependencyGraphPrinterPass
CConstraintDependencyGraphStructAnalysis	An analysis wrapper around the ConstraintDependencyGraph for a given struct
►CExpressionValue	Tracks a solver expression and an interval range for that expression
CHash
CField	Information about the prime finite field used for the interval analysis
Cfiltered_raw_ostream	Wrapper for `llvm::raw_ostream` that filters out certain characters selected by a function
CFullPolyLoweringOptions
CGlobalSourceMgr
►CInterval	Intervals over a finite field
CHash
CIntervalAnalysisContext	Parameters and shared objects to pass to child analyses
CIntervalAnalysisLattice	Maps mlir::Values to LatticeValues
CIntervalAnalysisLatticeValue
CIntervalAnalysisPrinterPass
CIntervalAnalysisPrinterPassOptions
CIntervalDataFlowAnalysis
CLLZKDialect
CLLZKDialectBytecodeInterface	This implements the bytecode interface for the LLZK dialect
CLLZKDialectVersion
CModuleAnalysis	An analysis wrapper that runs the given `StructAnalysisTy` struct analysis over all of the struct contained within the module
CModuleBuilder	Builds out a LLZK-compliant module and provides utilities for populating that module
CModuleIntervalAnalysis
CNamedOpLocationLess
CNoContext	An empty struct that is used for convenience for analyses that do not require any context
COpHash
COpLocationLess
CPolyLoweringPassOptions
CStructAnalysis	This is the base class for a dataflow analysis designed to run on a single struct (i.e., a single component)
CStructIntervalAnalysis
CStructIntervals
CSymbolDefTree	Builds a tree structure representing the symbol table structure
CSymbolDefTreeNode
CSymbolDefTreePass
CSymbolDefTreePrinterPassOptions
CSymbolLookupResult
CSymbolLookupResultUntyped
CSymbolUseGraph	Builds a graph structure representing the relationships between symbols and their uses
CSymbolUseGraphNode
CSymbolUseGraphPass
CSymbolUseGraphPrinterPassOptions
CUnreducedInterval	An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field
CUnusedDeclarationEliminationPassOptions
►CVerifySizesForMultiAffineOps	Produces errors if there is an inconsistency in the various attributes/values that are used to support affine map instantiation in the Op marked with this Trait
CImpl
CWithin
►Nmlir
CFieldParser
CFieldParser< llvm::APInt >
CFieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
CFieldParser<::llzk::OutputStream, ::llzk::OutputStream >
CFieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode >
CMapOperandsHelper	Helper for unwrapping the C arguments for the map operands
CMlirValueRange