pub fn type_identifier_map(
_key_type: TypeIdentifier,
_value_type: TypeIdentifier,
_bound: u32,
_eq: TypeEquivalence,
) -> TypeIdentifierpub fn type_identifier_map(
_key_type: TypeIdentifier,
_value_type: TypeIdentifier,
_bound: u32,
_eq: TypeEquivalence,
) -> TypeIdentifier