module Bounded_nativeint: Bounded Ey L@@°ÀKBWWÀLF N Q@@@
Bounded
Ey L@@°ÀKBWWÀLF N Q@@@
type a
val min_bound : a
a
val max_bound : a