expr2.bnf 318 Bytes
Newer Older
1
\begin{syntax}
2
  rec-defn ::=  fun-defn ("with" fun-defn)* ;
3
  \
4
  fun-defn ::= "ghost"? lident label* fun-body ;
5
  \
6
  fun-body ::= binder+ (":" type)? spec* "=" spec* expr ;
7
  \
8 9 10
  binder ::= "ghost"? lident label*
                  |  param
  \
MARCHE Claude's avatar
MARCHE Claude committed
11
  param ::= "(" ("ghost"? lident label*)+ ":" type ")"   
12
\end{syntax}