The Path structure provides an interface to the batch compilation system's source path mechanism. It has the following signature:
structure Path: sig exception PathError of string val sourcePath: unit -> string list val setSourcePath: string list -> unit val pervasive: unit -> string val setPervasive: string -> unit end
Generated with Harlequin WebMaker