Module Deriving_Eq

module Deriving_Eq: sig .. end

module type Eq = sig .. end

module Eq_immutable: 
functor (S : sig

type a 

end) -> Eq 
±
¼À(H
±
½@@

module Eq_mutable: 
functor (S : sig

type a 

end) -> Eq À5H
±
Â@@°À7H

module Eq_alpha: 
functor (S : sig

type a 

end) -> 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 ÀjK
Ð
äÀkK
Ð

module Eq_string: Eq wK
Ð
ó@@@@A@@°ÀyK

module Eq_int32: Eq }K
Ð
ó@@°ÀK
Ð

module Eq_int64: Eq 
ûÀŠK
Ð
ý@°ÀŒK

module Eq_nativeint: Eq Ð

À•K
Ð

	@  

module Eq_ref: 
functor (E : Eq) -> Eq 
Ð

@@°À¤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 table°À½L



À¾L



module Eq_map_s_t: 
functor (E : Eq) -> 
functor (M : Stdlib.Map.S) -> Eq !a°ÀÒL



0ÀÓL



module Eq_set_s_t: 
functor (S : Stdlib.Set.S) -> Eq L



+ÀÙL



1@