Crate macros

This module contains some macros for Charon. Due to technical reasons, Rust forces users to define such macros in a separate, dedicated library. Note that this doesn’t apply to macro_rules.

Modules

enum_helpers 🔒

Derive Macros

EnumAsGetters

Macro EnumAsGetters

EnumIsA

Macro EnumIsA

EnumToGetters

Macro EnumToGetters

VariantIndexArity

Macro to derive a function fn variant_index_arity(&self) -> (u32, usize) the pair (variant index, variant arity). Only works on enumerations, of course.

VariantName