Module scalar_value_ser_de

charon_lib::ast::values_utils

Module scalar_value_ser_de 

Source
Expand description

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

Functionsยง

deserialize
serialize