Module Deriving_Eq.Eq_int

module Eq_int: Eq  with type a = int

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