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