module Deriving_Eq: sig .. end
module type Eq = sig .. end
module Eq_immutable: functor (S : sigend) -> Eq ± ¼À(H ± ½@@
module Eq_mutable: functor (S : sigend) -> Eq À5H ± Â@@°À7H
module Eq_alpha: functor (S : sigend) -> Eq ± Ê@@°ÀBH ±
module Eq_int: Eq ± Ê@@@°ÀHH ±
module Eq_bool: Eq H ± Ê@°ÀNH ± ³
module Eq_float: Eq Î@@@°ÀTE “ “ÀU
module Eq_unit: Eq •À ,Eq_immutable°
module Eq_char: Eq K Ð äÀhK Ð@
module Eq_string: Eq Ð ó@@@@A@@°ÀwK Ð
module Eq_int32: Eq Ð ó@@°À}K Ð éÀ
module Eq_int64: Eq ûÀˆK Ð ý@°ÀŠK Ð
module Eq_nativeint: Eq À“K Ð @ @
module Eq_ref: functor (E : Eq) -> Eq Ð@@°À¢K Ð À£K
module Eq_array: functor (E : Eq) -> Eq @@°À¨K Ð ûÀ©K Ð@
module Eq_list: functor (E : Eq) -> Eq Ð ÐÀ¯K Ð@°À±K
module Eq_option: functor (E : Eq) -> Eq le°ÀºLÀ»LM@°
module Eq_map_s_t: functor (E : Eq) -> functor (M : Stdlib.Map.S) -> Eq ÎL0ÀÏL1@@@
module Eq_set_s_t: functor (S : Stdlib.Set.S) -> Eq +ÀÕL1@@°À