module type Widen_Hints = sig .. end
sig
end
include Cil_datatype.Logic_real.Set
val default_widen_hints : t
t