Module Ptset


module Ptset: sig .. end
Sets over ordered types.

This module implements the set data structure. All operations over sets are purely applicative (no side-effects).


module type Id_Datatype = sig .. end
Input signature of the functor Set.Make.
module type S = sig .. end
Output signature of the functor Set.Make.
module Make: 
functor (X : sig
type t 
val id : t -> int
val name : string
val pretty : Format.formatter -> t -> unit
val equal : t -> t -> bool
module Datatype: Project.Datatype.S  with type t = t
end) -> S with type elt = X.t