let compareTypesNoAttributes ?(ignoreSign=true) (t1 : typ) (t2 : typ) : bool = let typSig = typeSigWithAttrs ~ignoreSign:ignoreSign (fun _ -> []) in Cilutil.equals (typSig t1) (typSig t2)