Expr returns Expr:
	  ( Const ) 
	| ( Array )
	| ( Struct )
	| ( expr+=Expr '||' expr+=Expr ) //direct left recursive
	| ( expr+=Expr '&&' expr+=Expr ) //direct left recursive
	| ( '(' name+=ID ')' expr+=Expr)
	| ( '(' expr+=Expr ')' )
;

Array:
	  ( '[' (expr+=Expr)? ']' )
	| ( '[' ':' name+=ID ']' )
	| ( expr+=Expr '[' (  name+=ID( ','  name+=ID)* )? ']' ) //indirect left recursive
;

Struct:
	  ('<' expr+=Expr '>')
	| (expr+=Expr '<' expr+=Expr '>' expr+=Expr) //indirect left recursive
;

Const:
	| 'float' 
	| 'double'
	| 'char' 
	| 'true' 
	| 'false' 
;

Expr_or returns Expr:
	Expr_and ( {Expr_or.left=current} '||' right+=Expr_and )*
;

Expr_and returns Expr:
	Expr_rest ( {Expr_and.left=current} '&&' right+=Expr_rest)*
;

Expr_rest returns Expr:
	  ( Const )
	| ( Array )
	| ( Struct )
	| ( '(' name+=ID ')' expr+=Expr_or)
	| ( '(' expr+=Expr_or ')' )
;

Const:
	| 'float' 
	| 'double'
	| 'char' 
	| 'true' 
	| 'false' 
;

Array:
	  ( '[' (expr+=Expr_or)? ']' )
	| ( '[' ':' name+=ID ']' )
	| ( expr+=Expr_or '[' (  name+=ID( ','  name+=ID)* )? ']' ) //indirect left recursive
;

Struct:
	  ('<' expr+=Expr_or '>')
	| (expr+=Expr_or '<' expr+=Expr_or '>' expr+=Expr_or) //indirect left recursive
;