Module Int_val.Widen_Hints

module Widen_Hints: Datatype.Integer.Set