(* File: ModML/grammar.txt *)

(* Description: Types of identifiers andd descriptions *)

(* References: The "Definition", Sections 3.4 and 7.1 *)

sigid ::= SIGID string

funid ::= FUNID string

valdesc ::= VARvaldesc var |
            ANDvaldesc var valdesc

exdesc ::= EXCONexdesc excon |
           ANDexdesc excon exdesc 
