Parameter MAKE.Set

type t
val none : t
val union : t -> t -> t
val translate : t -> Diagnostics.diagnostics