Module Kernel.UseUnicode

module UseUnicode: Plugin.Bool 
Deprecated.since Nitrogen-20111001 use module Unicode instead.
Behavior of option "-unicode"

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