Identifiable (docs.findlib-1.core.Core.Identifiable)

module type S_common = sig ... end

module type S_plain = sig ... end

module type S_not_binable = sig ... end

module type S = sig ... end

module type S_sexp_grammar = sig ... end

module Make_plain (M : sig ... end) : S_plain with type t := M.t

module Make (M : sig ... end) : S with type t := M.t

Used for making an Identifiable module. Here's an example:

module Make_with_sexp_grammar
  (M : sig ... end) : 
  S_sexp_grammar with type t := M.t

module Make_and_derive_hash_fold_t (M : sig ... end) : S with type t := M.t

module Make_using_comparator
  (M : sig ... end) : 
  S with type t := M.t with type comparator_witness := M.comparator_witness

module Make_plain_using_comparator
  (M : sig ... end) : 
  S_plain
    with type t := M.t
    with type comparator_witness := M.comparator_witness

module Make_using_comparator_and_derive_hash_fold_t
  (M : sig ... end) : 
  S with type t := M.t with type comparator_witness := M.comparator_witness

module Extend
  (M : Base.Identifiable.S)
  (B : Bin_prot.Binable.S with type t = M.t) : 
  S with type t := M.t with type comparator_witness := M.comparator_witness