module Poly:
functor (
T
:
sig
type t
include Sexpable.S
end
) ->
sig type t include Sexpable.S with type sexpable = t end
type comparable = T.t
T.t
include Pervasives
val ascending : 'a -> 'a -> int
'a -> 'a -> int
val descending : 'a -> 'a -> int
module Map: Map.Make(C)
Map.Make
(
C
)
module Set: Set.Make(C)
Set.Make