module Poly: functor (T : sig type t val t_of_sexp : Sexplib.Sexp.t -> t val sexp_of_t : t -> Sexplib.Sexp.tend) -> S with type t := T.t
functor (
T
:
sig
type t
val t_of_sexp : Sexplib.Sexp.t -> t
Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
t -> Sexplib.Sexp.t
end
) ->
S
with type t := T.t
sig type t with sexp end
include Comparable_intf.S_common
module Map: Core_map.S with type Key.t = t with type Key.comparator = comparator
Core_map.S
with type Key.t = t
with type Key.comparator = comparator
module Set: Core_set.S with type Elt.t = t with type Elt.comparator = comparator
Core_set.S
with type Elt.t = t
with type Elt.comparator = comparator