+bool is_type_incomplete(const type_t *type);
+
+bool types_compatible(const type_t *type1, const type_t *type2);
+
+bool pointers_compatible(const type_t *type1, const type_t *type2);
+
+type_t *get_unqualified_type(type_t *type);
+type_t *skip_typeref(type_t *type);
+
+/**
+ * returns size of an atomic type kind in bytes
+ */
+unsigned get_atomic_type_size(atomic_type_kind_t kind);
+
+/**
+ * returns alignment of an atomic type kind in bytes
+ */
+unsigned get_atomic_type_alignment(atomic_type_kind_t kind);
+
+/**
+ * returns flags of an atomic type kind
+ */
+unsigned get_atomic_type_flags(atomic_type_kind_t kind);
+
+atomic_type_kind_t get_intptr_kind(void);
+atomic_type_kind_t get_uintptr_kind(void);
+
+/**
+ * Find the atomic type kind representing a given size (signed).
+ */
+atomic_type_kind_t find_signed_int_atomic_type_kind_for_size(unsigned size);
+
+/**
+ * Find the atomic type kind representing a given size (unsigned).
+ */
+atomic_type_kind_t find_unsigned_int_atomic_type_kind_for_size(unsigned size);
+