Module tract_hir::infer::rules::expr[][src]

Structs

A constant expression (e.g. 2 or DatumType::DT_INT32).

Cast an IntFactoid into a DimFact

A scalar product between a constant and another expression.

A reference to a variable.

Enums

A wrapper for all the types of values that expressions can produce.

Traits

A trait for values produced by expressions.

An expression that can be compared by the solver.