Function generalized_time_bytes 

pub open spec fn generalized_time_bytes(value: GeneralizedTimeSpec) -> Seq<u8>

{
    generalized_time_prefix(value) + generalized_time_fraction(value)
        + generalized_time_suffix(value)
}