4.3 Compilation: the Project structure

configuration_details

Eqtype

Shell.Project

eqtype configuration_details = {library: string list, source: string list}

This type is used to store configuration details about a project.

MLWorks Reference Manual version 2.0 - 29 Jul 1998