module Eq_string: Eq with type a = string
Eq
with type a = string
type a
val eq : a -> a -> bool
a -> a -> bool