module Eq_nativeint: Eq with type a = nativeint
Eq
with type a = nativeint
type a
val eq : a -> a -> bool
a -> a -> bool