Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Module Deriving_Eq

module Deriving_Eq : sig..end

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