List of all items

Structs

• InlineKernelHint
• LagrangePin
• ProgramCell
• ProgramInstance
• ProgramWitness
• chiplet::ChipletDef
• chiplet::CompositeChiplet
• chiplet::CompositeChipletBuilder
• constraint::BoundaryConstraint
• constraint::Constraint
• constraint::ConstraintArena
• constraint::ConstraintAst
• constraint::ConstraintTerm
• constraint::ExprId
• constraint::builder::ConstraintSystem
• constraint::builder::Expr
• expander::VirtualExpander
• permutation::PermutationCheckSpec
• schema::SchemaVec

Enums

• LagrangePoint
• constraint::BoundaryTarget
• constraint::ConstraintExpr
• expander::ExpansionEntry
• permutation::BusKind
• permutation::Source
• schema::ColumnType

Traits

• Air
• Program

Macros

• define_columns

Functions

• chiplet::compose_chiplet_defs
• chiplet::compose_external_buses
• chiplet::validate_paired_bus_mutex
• permutation::accumulate_lookup_heights
• permutation::validate_bus_set
• schema::chiplet_offsets
• validate_lagrange_pins

Type Aliases

• permutation::ChallengeLabel

Constants

• permutation::REQUEST_IDX_LABEL