# 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