Module type `Hashtbl_intf.For_deriving`Source

include Base.Hashtbl.For_deriving

type ('k, 'v) t

module type Sexp_of_m = sig ... end

module type M_of_sexp = sig ... end

module type M_sexp_grammar = sig ... end

module type Equal_m = sig ... end

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

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

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

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

module type M_quickcheck = Core.Hashtbl_intf.M_quickcheck

val quickcheck_generator_m__t : 
  (module M_quickcheck with type t = 'k) ->
  'v Base_quickcheck.Generator.t ->
  ('k, 'v) t Core.Quickcheck.Generator.t

val quickcheck_observer_m__t : 
  (module M_quickcheck with type t = 'k) ->
  'v Core.Quickcheck.Observer.t ->
  ('k, 'v) t Core.Quickcheck.Observer.t

val quickcheck_shrinker_m__t : 
  (module M_quickcheck with type t = 'k) ->
  'v Core.Quickcheck.Shrinker.t ->
  ('k, 'v) t Core.Quickcheck.Shrinker.t

Module type Hashtbl_intf.For_derivingSource

Module type `Hashtbl_intf.For_deriving`Source