Module Kernel.SafeArrays

module SafeArrays: Plugin.Bool 
Behavior of option "-safe-arrays".
Consult the Plugin Development Guide for additional details.

include Plugin.Parameter
val on : unit -> unit
Set the boolean to true.
val off : unit -> unit
Set the boolean to false.