module Ptset:Sets over ordered types.sig
..end
This module implements the set data structure.
All operations over sets
are purely applicative (no side-effects).
module type Id_Datatype =sig
..end
Set.Make
.
module type S =sig
..end
Set.Make
.
module Make:functor (
X
:
sig
typet
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