1+ ===================================================================== + 2| | 3| LIBRARY : option | 4| | 5| DESCRIPTION : definition of logical types for options. | 6| | 7| AUTHOR : D.R.Syme | 8| DATE : 1 November 1995 | 9| | 10| MODIFIED : R.J.Boulton | 11| DATE : 28 June 1996 | 12+ ===================================================================== + 13