SPEC-DEFN ::= spec-defn SPEC-NAME SPEC
GEN-SPEC-DEFN ::= gen-spec-defn GEN-SPEC-NAME GEN-SPEC
GEN-SPEC ::= GEN-EXTENSION | GEN-CONS-EXTN
GEN-EXTENSION ::= gen-extension PARAMS SPEC+
GEN-CONS-EXTN ::= gen-cons-extn PARAMS SPEC+
PARAMS ::= params SPEC+
SPEC ::= ... | SPEC-NAME | GEN-SPEC-INST
GEN-SPEC-INST ::= gen-spec-inst GEN-SPEC-NAME FITTING-ARG+ SIG-MORPH?
FITTING-ARG ::= fitting-arg SPEC SIG-MORPH?
SPEC-NAME ::= SIMPLE-ID
GEN-SPEC-NAME ::= SIMPLE-ID
ID ::= ... | COMPOUND-ID
COMPOUND-ID ::= compound-id SIMPLE-ID ID+
CoFI
Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk