module Eq_option: functor (E : Eq) -> Eq le°ÀºLÀ»LM@°
functor (
E
:
Eq
) ->
le°ÀºLÀ»LM@°
type a
val eq : a -> a -> bool
a -> a -> bool