module type Bounded = sig .. end
sig
end
type bounded
val min_num : bounded
bounded
val max_num : bounded