Prev Up
Go backward to 4.1.1 Sorts
Go up to 4.1 Signature Declarations

4.1.2 Datatypes

[CHANGED:] Datatype declarations are unchanged, except for a new kind of alternative: []

  • 4.1.2.1 Alternatives

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

    Prev Up