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