Function implicitly_tagged 

pub const exec fn implicitly_tagged<C: Copy>(
    class: Class,
    number: u64,
    inner: C,
) -> ImplicitFmt<C>

returns

ImplicitlyTaggedFmt(
    Tag {
        class,
        constructed: false,
        number: super::tag::tag_num_from_uint(number),
    },
    inner,
),

Apply an ASN.1 IMPLICIT tag with an arbitrary tag class.

The supplied tag’s constructed bit is only a placeholder: the concrete Retaggable implementation preserves or selects the encoding form required by the base format.