module Eq_ref: functor (E : Eq) -> Eq with type a = E.a ref
functor (
E
:
Eq
) ->
with type a = E.a ref
type a
val eq : a -> a -> bool
a -> a -> bool