Module Deriving_Eq

module Deriving_Eq: sig .. end

module type Eq = sig .. end
module Eq_immutable: 
functor (S : sig
type a 
end-> Eq  with type a = S.a
module Eq_mutable: 
functor (S : sig
type a 
end-> Eq  with type a = S.a
module Eq_alpha: 
functor (S : sig
type a 
end-> Eq  with type a = S.a
module Eq_int: Eq  with type a = int
module Eq_bool: Eq  with type a = bool
module Eq_float: Eq  with type a = float
module Eq_unit: Eq  with type a = unit
module Eq_char: Eq  with type a = char
module Eq_string: Eq  with type a = string
module Eq_int32: Eq  with type a = int32
module Eq_int64: Eq  with type a = int64
module Eq_nativeint: Eq  with type a = nativeint
module Eq_ref: 
functor (E : Eq-> Eq with type a = E.a ref
module Eq_array: 
functor (E : Eq-> Eq with type a = E.a array
module Eq_list: 
functor (E : Eq-> Eq with type a = E.a list
module Eq_option: 
functor (E : Eq-> Eq with type a = E.a option
module Eq_map_s_t: 
functor (E : Eq-> 
functor (M : Map.S-> Eq with type a = E.a M.t
module Eq_set_s_t: 
functor (S : Set.S-> Eq with type a = S.t