Module charon_lib::ast::values_utils

source ·
Expand description

Implementations for crate::values

Enums§

Type Aliases§

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