module Deriving_Eq: sig
.. end
module type Eq = sig
.. end
module Eq_immutable: functor (
S
:
sig
end
) ->
Eq
with type a = S.a
module Eq_mutable: functor (
S
:
sig
end
) ->
Eq
with type a = S.a
module Eq_alpha: functor (
S
:
sig
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