4.3 Compilation: the Build, File, and Path structures
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