/**
 * let-constructions
 *
 * @author Jacob Andersen
 */

{
  $          = [\ \n\r]* ;
  
  Id         = [a-zA-Z][0-9a-zA-Z_]* ;

  Exp.var    : Id ;
  Exp.app    : Exp Exp ;
  Exp.letvar : "let " Id "=" Exp "in " Exp ;
  Exp.letfun : "let " Id "(" Id ")" "=" Exp "in " Exp ;
  Exp.letrec : "letrec " Id "(" Id ")" "=" Exp "in " Exp ;
}