Function parser_specs 

pub open spec fn parser_specs<T>(
    bundled: BundledSpecs<T>,
) -> ParserSpecs<ParserFnSpec<T>, PredFnSpec<T>, ByteLenFnSpec<T>>

{ (bundled.2, bundled.0, bundled.1) }