charon_lib::ast

Module values_utils

Source
Expand description

Implementations for crate::values

Modules§

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

Macros§

from_le_bytes 🔒

Enums§

ScalarError

Type Aliases§

ScalarResult
Our redefinition of Result - we don’t care much about the I/O part.