Module Eq

module Eq: sig .. end

module type Eq = sig .. end

module Defaults: 
functor (E : Eq) -> Eq  with type a = E.a

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_int: Eq  with type a = int

module Eq_num: Eq  with type a = Num.num

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_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