(* Miscsys -- not part of the new unified basis, 12-27-94 *) (* This module provides a simple interface to the operating system. *) prim_val command_line : string Vector.vector = 0 "command_line";prim_val interactive: bool = 0 "interactive";prim_val getenv : string -> string = 1 "sys_getenv"; prim_val catch_interrupt : bool -> unit = 1 "sys_catch_break" prim_val rename_ : string -> string -> unit = 2 "sys_rename";prim_val remove  : string -> unit           = 1 "sys_remove";prim_val chdir   : string -> unit           = 1 "sys_chdir"; fun rename {old, new} = rename_ old new;