Crate antecedent_expr 

Arena-backed causal-functional IR.

Modules

• estimand — identified estimand + method tags
• eval — compiled evaluators over providers
• simplify — algebraic simplification
• pretty / latex — display helpers
• provider — distribution / table / posterior providers

SPDX-License-Identifier: MIT OR Apache-2.0

Re-exports

pub use estimand::EstimandMethod;

pub use estimand::IdentifiedEstimand;

pub use estimand::RdDesignParams;

pub use eval::CompiledEvaluator;

pub use provider::Assignment;

pub use provider::DistributionProvider;

pub use provider::EmpiricalTableProvider;

pub use provider::EvalContext;

pub use provider::EvalError;

pub use provider::FactorSpec;

pub use provider::GaussianDensityProvider;

pub use provider::PosteriorDrawProvider;

pub use provider::QuadratureNodes;

pub use simplify::SimplifyError;

Modules

estimand

Identified estimand types shared by identify and estimate.

eval

Compiled topological evaluators for causal expressions.

latex

LaTeX rendering for diagnostics (not equality keys).

pretty

Pretty-printing for diagnostics (not equality keys).

provider

Distribution providers for compiled expression evaluation.

simplify

Algebraic simplification via worklist + memoization.

Structs

CausalExprArena

Arena for causal expressions with interned variable sets.

DerivationMeta

Separate derivation metadata keyed by expression id.

ExprId

Opaque expression node id.

ExprListId

Expression list id (product children).

InterventionAssignment

One hard intervention assignment in an interned set.

InterventionSetId

Interned intervention-set id (hard assignments do(V := value)).

OutcomeExprId

Outcome function id .

VarSetId

Interned sorted variable set id.

Enums

ContrastOp

Contrast operator between two expressions.

DomainRef

Domain reference for a distribution .

ExprNode

Semantic expression node (no derivation metadata).