Make.NSet
type elt = N.t
type t
val empty : t
val add : elt -> t -> t
val remove : elt -> t -> t
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
val mem : elt -> t -> bool
val equal : t -> t -> bool