pub fn type_identifier_sequence(
element_id: TypeIdentifier,
bound: u32,
eq: TypeEquivalence,
) -> TypeIdentifierpub fn type_identifier_sequence(
element_id: TypeIdentifier,
bound: u32,
eq: TypeEquivalence,
) -> TypeIdentifier