Module Float_sig.S.Widen_Hints

module Widen_Hints: Float_sig.Widen_Hints 

include Cil_datatype.Logic_real.Set
val default_widen_hints : t