module Eq_map_s_t: functor (E : Eq) -> functor (M : Stdlib.Map.S) -> Eq !a°ÀÒL0ÀÓL
functor (
E
:
Eq
) ->
M
Stdlib.Map.S
!a°ÀÒL0ÀÓL
type a
val eq : a -> a -> bool
a -> a -> bool