charon_lib::ast

Module values_utils

Source
Expand description

Implementations for crate::values

Enums§

Type Aliases§

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