Macro impl_ber 

macro_rules! impl_ber {
    ($kind:ident $(($constructed:expr))?, borrowed, $fmt:ident, $inner:ty, $spec:ty, $value:ident $(, $forward:ty, $reverse:ty)?) => { ... };
    ($kind:ident $(($constructed:expr))?, owned, $fmt:ident, $inner:ty, $spec:ty, $value:ty $(, $forward:ty, $reverse:ty)?) => { ... };
    (@kind tagged($constructed:expr), $fmt:ident) => { ... };
    (@kind tagged_exact($constructed:expr), $fmt:ident) => { ... };
    (@kind tagged_identity($constructed:expr), $fmt:ident) => { ... };
    (@kind untagged_mask($domain:expr), $fmt:ident) => { ... };
    (@kind untagged_any, $fmt:ident) => { ... };
    (@kind untagged_start, $fmt:ident) => { ... };
    (@kind untagged, $fmt:ident) => { ... };
}

Implements the verified BER traits and executable APIs for a generated nominal format.

BER formats deliberately do not implement SoundParser, NonMalleable, or DER ordering.