Module Deriving_Eq.Eq_nativeint

module Eq_nativeint: Eq  with type a = nativeint

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