module Comp: functor (T : Typeable.Typeable) -> functor (E : Eq.Eq with type a = T.a) -> sig .. end
functor (
T
:
Typeable.Typeable
) ->
E
Eq.Eq
with type a = T.a
sig
end
Eq.Eq with type a = T.a
type a = T.a
T.a
val eq : Typeable.dynamic -> Typeable.dynamic -> bool
Typeable.dynamic -> Typeable.dynamic -> bool