Module expr 

Structs

BigFloat

Arbitrary-precision floating-point atom. prec (precision in bits) is part of structural identity: Float(1.0, 53) != Float(1.0, 64).

BigInt

Arbitrary-precision integer atom.

BigRat

Arbitrary-precision rational atom. Stored in canonical reduced form by rug.

ExprId

Opaque index into an crate::kernel::ExprPool. Copy — expressions are values, not owned objects.

Enums

ExprData

Structural content of an expression node.

PredicateKind

Kind of a symbolic predicate.