Module type Float_sig.Widen_Hints

module type Widen_Hints = sig .. end

include Cil_datatype.Logic_real.Set
val default_widen_hints : t