Module Kernel.ArrayPrecisionLevel


module ArrayPrecisionLevel: Plugin.Int 
Temporary option to voluntarily approximate results of accesses at an imprecise index for the sake of speed.

include Plugin.Parameter
val incr : unit -> unit
Increment the integer.
val set_range : min:int -> max:int -> unit
Set what is the possible range of values for this parameter.
Since Beryllium-20090901
val get_range : unit -> int * int
What is the possible range of values for this parameter.
Since Beryllium-20090901