Parameter Union.M

type t
val empty : t
val union : t -> t -> t