module Eq_int: Eq with type a = int
Eq
with type a = int
type a
val eq : a -> a -> bool
a -> a -> bool