Module typed 

Typed expression layer: the formula AST enriched with inferred value type and dimension (the set of categories a subexpression ranges over).

Produced by the compiler’s first phase (compiler::infer). See AGENT_STEERING.md / IMPROV.txt “Formula compiler”.

Structs

Dim

The dimensionality of a (sub)expression: the categories it is indexed by, kept sorted and deduplicated (canonical form).

ResolvedDimSpec

The dimension-projection applied to a measure reference, resolved to the concrete category sets the compiler will keep / aggregate / drop.

TypeInfo

A value type paired with its dimension.

TypedExpr

Enums

Bound

A window bound, relative to this item.

TypedExprKind

Type Aliases

Window

OVER T[from..to]: a reduction per item over a window of items.