package core_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

A signature for identifier types.

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 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_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 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