let hash = function | C_int _ -> 3 | C_float _ -> 5 | C_pointer _ -> 7 | C_comp c -> 11 * Compinfo.hash c | C_array a -> 13 * AinfoComparable.hash a