module Eq_string: Eq wK Ð ó@@@@A@@°ÀyK
Eq
wK Ð ó@@@@A@@°ÀyK
type a
val eq : a -> a -> bool
a -> a -> bool