module Comparable: functor (S1 : Comparable_sexpable) -> functor (S2 : Comparable_sexpable) -> Comparable_sexpable with type t := Make (S1) (S2).t
functor (
S1
:
Comparable_sexpable
) ->
S2
with type t := Make (S1) (S2).t
type t
include Comparable.S
val t_of_sexp : Sexplib.Sexp.t -> t
Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
t -> Sexplib.Sexp.t