Skip to main content

Module values

charon_lib::ast::bodies

Module values 

Source
Expand description

Contains definitions for variables and constant values.

Modules§

scalar_value_ser_de 🔒
Custom serializer that stores 128 bit integers as strings to avoid overflow.

Structs§

ConstantExpr
A constant expression.
FloatValue
This is simlar to the Scalar value above. However, instead of storing the float value itself, we store its String representation. This allows to derive the Eq and Ord traits, which are not implemented for floats

Enums§

Byte
A byte, in the MiniRust sense: it can either be uninitialized, a concrete u8 value, or part of a pointer with provenance (e.g. to a global or a function)
ConstantExprKind
Literal
A primitive value.
Provenance
ScalarValue
A scalar value.