module PODatatype:Datatype.Make_with_collections
(
sig
typet =
Wpo.po
include Datatype.Undefinedval hash :t -> int
val equal :t -> t -> bool
val compare :t -> t -> int
val pretty :Format.formatter -> t -> unit
val name :string
val reprs :t list
end
)
include Datatype.S
module Set:Datatype.Set
with type elt = t
module Map:Datatype.Map
with type key = t
module Hashtbl:Datatype.Hashtbl
with type key = t