module Widen_Hints: Float_sig.Widen_Hints
Float_sig.Widen_Hints
include Cil_datatype.Logic_real.Set
val default_widen_hints : t
t