Module Ival.Widen_Hints

module Widen_Hints: Datatype.Integer.Set