Parameter Set.1-X

type t
val empty : t
val equal : t -> t -> bool