module ArrayPrecisionLevel:Temporary option to voluntarily approximate results of accesses at an imprecise index for the sake of speed.Plugin.Int
include Plugin.Parameter
val incr : unit -> unit
val set_range : min:int -> max:int -> unit
val get_range : unit -> int * int