Up  Next

Functor Deriving_Eq.Eq_immutable

module Eq_immutable: 
functor (S : sig
type a 
end) -> Eq (H@@
Parameters:
S : @@! 
type a 
val eq : a -> a -> bool