4.3 Compilation: the Project structure

about_details

Eqtype

Shell.Project

eqtype about_details = {description: string, version: string}

This type is used to store description and version information about a project.

MLWorks Reference Manual version 2.0 - 29 Jul 1998