module Bounded_int: Bounded !a%Ddv&Ddw@
Bounded
!a%Ddv&Ddw@
type a
val min_bound : a
a
val max_bound : a