module Widen_Hints: sig .. end
sig
end
include FCSet.S
include Datatype.S
val default_widen_hints : Ival.t
Ival.t
val hints_for_signed_int_types : unit -> Ival.t
unit -> Ival.t