module Bounded_nativeint: Bounded with type a = nativeint
Bounded
with type a = nativeint
type a
val min_bound : a
a
val max_bound : a