module Poly: functor (T : sigtype t include Sexpable.S end) -> sig .. end
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
val equal : 'a -> 'a -> bool
'a -> 'a -> bool
module Map: Core_map.Make(C)
Core_map.Make
(
C
)
module Set: Core_set.Make(C)
Core_set.Make