Module Eq.Eq_string


module Eq_string: Eq  with type a = string

type a 
val eq : a -> a -> bool