Up Next
Go up to 2 Basic Constructs
Go forward to 2.2 Variables

2.1 Signature Declarations

                  | DATATYPE-ITEMS

A list SORT-ITEMS of sort declarations determines one or more sorts. A list OP-ITEMS of operation declarations and/or definitions determines one or more operation symbols, and possibly some sentences; similarly for a list PRED-ITEMS of predicate declarations and/or definitions. Operation and predicate symbols may be overloaded, being declared with several different profiles in the same local environment. A list DATATYPE-ITEMS of datatype declarations determines one or more sorts together with some constructor and (optional) selector operations, and sentences defining the selector operations on the values given by the constructors with which they are associated.

  • 2.1.1 Sorts
  • Sort Declarations
  • 2.1.2 Operations
  • Operation Declarations
  • Operation Definitions
  • 2.1.3 Predicates
  • Predicate Declarations
  • Predicate Definitions
  • 2.1.4 Datatypes
  • Datatype Declarations
  • Free Datatype Declarations
  • 2.1.5 Sort Generation

  • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to cofi-language@brics.dk

    Up Next