module Set: sig .. end
sig
end
include Ptset.S
module Datatype: Project.Datatype.S with type t = t
Project.Datatype.S
with type t = t
val pretty : Format.formatter -> Kernel_function.t -> unit
Format.formatter -> Kernel_function.t -> unit