For_deriving (docs.findlib-1.base.Base.Map.For

type ('a, 'b, 'c) t

module type Sexp_of_m = sig ... end

module type M_of_sexp = sig ... end

module type M_sexp_grammar = sig ... end

module type Compare_m = sig ... end

module type Equal_m = sig ... end

module type Hash_fold_m = Hasher.S

val sexp_of_m__t : 
  (module Sexp_of_m with type t = 'k) ->
  ('v -> Sexp.t) ->
  ('k, 'v, 'cmp) t ->
  Sexp.t

val m__t_of_sexp : 
  (module M_of_sexp with type comparator_witness = 'cmp and type t = 'k) ->
  (Sexp.t -> 'v) ->
  Sexp.t ->
  ('k, 'v, 'cmp) t

val m__t_sexp_grammar : 
  (module M_sexp_grammar with type t = 'k) ->
  'v Sexplib0.Sexp_grammar.t ->
  ('k, 'v, 'cmp) t Sexplib0.Sexp_grammar.t

val compare_m__t : 
  (module Compare_m) ->
  ('v -> 'v -> int) ->
  ('k, 'v, 'cmp) t ->
  ('k, 'v, 'cmp) t ->
  int

val equal_m__t : 
  (module Equal_m) ->
  ('v -> 'v -> bool) ->
  ('k, 'v, 'cmp) t ->
  ('k, 'v, 'cmp) t ->
  bool

val hash_fold_m__t : 
  (module Hash_fold_m with type t = 'k) ->
  (Hash.state -> 'v -> Hash.state) ->
  Hash.state ->
  ('k, 'v, _) t ->
  Hash.state