module Widen_Hints: sig .. end
sig
end
include FCSet.S
include Datatype.S
val default_widen_hints : Ival.t
Ival.t