Go backward to Basic Specifications
Go up to Appendix A: Abstract Syntax
Go forward to Structured Specifications

Basic Specifications with Subsorts

  SIG-DECL         ::=  ... | SUBSORT-DECL
  SUBSORT-DECL     ::=  EMBEDDING-DECL | ISO-DECL
  EMBEDDING-DECL   ::=  embedding-decl SORT-LAYER+
  SORT-LAYER       ::=  sort-layer SORT+
! ISO-DECL         ::=  iso-decl SORT-LAYER

  ATOM             ::=  ... | MEMBERSHIP
  MEMBERSHIP       ::=  membership TERM SORT
  TERM             ::=  ... | CAST
  CAST             ::=  cast TERM SORT

! ALTERNATIVE      ::=  ... | SUBSORT
! SUBSORT          ::=  subsort SORT

  BASIC-ITEM       ::=  ... | SUBSORT-DEFN
  SUBSORT-DEFN     ::=  subsort-defn SORT VAR SORT FORMULA
CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk