Function serializer_specs 

pub open spec fn serializer_specs<T>(
    bundled: BundledSpecs<T>,
) -> SerializerSpecs<SerializerFnSpec<T>, ByteLenFnSpec<T>>

{ (bundled.3, bundled.1) }