Module Deriving_Eq.Eq_int

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