These are the rules that are common to <a href="CasEnv.html">CasEnv</a> and <a href="FCasEnv.html">FCasEnv</a>.
<BR><BR>
These rules still contain some undefined non-terminals,
which are defined in the 
<a href="http://adam.wins.uva.nl/~markvdb/cofi/casl.html">CasFix</a> format.
<BR><BR>

<tt>
MORPHISM ::= morphism ( SORT-MAP, FUN-MAP, PRED-MAP )<BR>
<BR>
SORT-MAP ::= sort-map ( sort-entry-tuple* ( SORT-ENTRY-TUPLE* ) )<BR>
<BR>
SORT-ENTRY-TUPLE ::= sort-entry-tuple ( ID, SORT )<BR>
<BR>
FUN-MAP ::= fun-map ( fun-entry-tuple* ( FUN-ENTRY-TUPLE* ) )<BR>
<BR>
FUN-ENTRY-TUPLE ::= fun-entry-tuple ( funmap* ( FUNMAP* ) )<BR>
<BR>
FUNMAP ::= funmap ( OP-TYPE, OP-NAME )<BR>
<BR>
PRED-MAP ::= pred-map ( pred-entry-tuple* ( PRED-ENTRY-TUPLE* ) )<BR>
<BR>
PRED-ENTRY-TUPLE ::= pred-entry-tuple ( predmap* ( PREDMAP* ) )<BR>
<BR>
PREDMAP ::= predmap ( PRED-TYPE, PRED-NAME )<BR>
<BR>
<BR>
<BR>
SIGNATURE ::= signature ( LOCAL-ENV, anno* ( ANNO* ) )<BR>
<BR>
LOCAL-ENV ::= local-env ( SUBSORT-ENV, VAR-ENV, FUN-ENV, PRED-ENV )<BR>
<BR>
SUBSORT-ENV ::= subsort-env ( subsort-entry-tuple* ( SUBSORT-ENTRY-TUPLE* ) )<BR>
<BR>
SUBSORT-ENTRY-TUPLE ::= subsort-entry-tuple ( ID, SORT-ENTRY )<BR>
<BR>
SORT-ENTRY ::= sort* ( SORT* )<BR>
<BR>
VAR-ENV ::= var-env ( var-entry-tuple* ( VAR-ENTRY-TUPLE* ) )<BR>
<BR>
VAR-ENTRY-TUPLE ::= var-entry-tuple ( SIMPLE-ID, VAR-ENTRY )<BR>
<BR>
VAR-ENTRY ::= SORT<BR>
<BR>
FUN-ENV ::= fun-env ( fun-entry-tuple* ( FUN-ENTRY-TUPLE* ) )<BR>
<BR>
FUN-ENTRY-TUPLE ::= fun-entry-tuple ( ID, FUN-ENTRY )<BR>
<BR>
FUN-ENTRY ::= op-type* ( OP-TYPE* )<BR>
<BR>
PRED-ENV ::= pred-env ( pred-entry-tuple* ( PRED-ENTRY-TUPLE* ) )<BR>
<BR>
PRED-ENTRY-TUPLE ::= pred-entry-tuple ( ID, PRED-ENTRY )<BR>
<BR>
PRED-ENTRY ::= pred-type* ( PRED-TYPE* )<BR>
<BR>
<BR>
ANNO ::= number-lit-anno ( ID )<BR>
       | floating-lit-anno ( ID, ID )<BR>
       | string-lit-anno ( ID, ID )<BR>
       | list-lit-anno ( ID, ID, ID )<BR>
       | display-anno ( ID )<BR>
       | prec-anno ( BOOL, id* ( ID* ), id* ( ID* ) )<BR>
       | left-assoc-anno ( ID )<BR>
       | right-assoc-anno ( ID )<BR>
<BR>
BOOL ::= bool-true | bool-false<BR><BR>
</tt>