- * types. If it find a type identical to tp it returns this type. In
- * this case it also turns tp into the Id type. The caller should free
- * tp if he knows that there are no other references to tp. The memory
- * of tp is not lost, but will remain alive for an unknown time.
+ * types.
+ *
+ * If it find a type identical to tp it returns this type. It frees
+ * the entities and turns the type into an Id type. All places
+ * formerly pointing to tp will now point to the found type. The Id
+ * type will be removed from the representation automatically, but
+ * within an unknown time span. It occupies memory for this time.
+ *
+ * @param tp The type to mature.
+ */
+ir_type * mature_type_free_entities(ir_type *tp);
+
+/**
+ * The interface type for the type identify module;
+ */
+typedef struct _type_identify_if_t {
+ compare_types_func_t *cmp; /**< The function that should be used to compare two types.
+ If NULL, compare_strict() will be used. */
+ hash_types_func_t *hash; /**< The function that should be used to calculate a hash
+ value of a type. If NULL, hash_name() will be used. */
+} type_identify_if_t;
+
+/**
+ * Initialise the type identifier module.
+ *
+ * @param ti_if The interface functions for this module.