Macro charon_lib::ast::krate::wrap_unwrap_enum

macro_rules! wrap_unwrap_enum {
    ($enum:ident::$variant:ident($variant_ty:ident)) => { ... };
}

Implement TryFrom and From to convert between an enum and its variants.