module Deriving_Bounded:sig..end
module type Bounded =sig..end
module Bounded_bool:Boundedwith type a = bool
module Bounded_char:Boundedwith type a = char
module Bounded_int:Boundedwith type a = int
module Bounded_int32:Boundedwith type a = int32
module Bounded_int64:Boundedwith type a = int64
module Bounded_nativeint:Boundedwith type a = nativeint
module Bounded_unit:Boundedwith type a = unit
module Bounded_open_flag:Boundedwith type a = Pervasives.open_flag
module Bounded_fpclass:Boundedwith type a = Pervasives.fpclass