Up  

Functor Identifiable.Make

module Make: 
functor (M : sig


type t 




include Stringable.S



val hash : t -> int


val module_name : string


val t_of_sexp : Sexplib.Sexp.t -> t


val sexp_of_t : t -> Sexplib.Sexp.t


val compare : t -> t -> int


val bin_t : t Bin_prot.Type_class.t


val bin_read_t : t Bin_prot.Read.reader


val __bin_read_t__ : (int -> t) Bin_prot.Read.reader


val bin_reader_t : t Bin_prot.Type_class.reader


val bin_size_t : t Bin_prot.Size.sizer


val bin_write_t : t Bin_prot.Write.writer


val bin_writer_t : t Bin_prot.Type_class.writer
end) -> S  with type t := M.t
Parameters:
M : sig type t with bin_io, compare, sexp include Stringable.S with type t := t val hash : t -> int val module_name : string (* for registering the pretty printer *) end 
type t 
include Stringable.S
include Comparable.S_binable
include Hashable.S_binable
include Pretty_printer.S
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val bin_t : t Bin_prot.Type_class.t
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Bin_prot.Read.reader
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_writer_t : t Bin_prot.Type_class.writer