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