module ArrayPrecisionLevel: Int(sigval default : intval option_name : stringval arg_name : stringval descr : stringend)
Int
(
sig
val default : int
int
val option_name : string
string
val arg_name : string
val descr : string
end
)