grammar-v2.g4

parser grammar BiaParser;

options { tokenVocab = BiaLexer; }

typeExpression
    : referredName=Identifier # typeReference ;

expression
    : callableExpression # callableExpression_
    | left=expression operator=Lt right=expression # binaryOperation
    | left=expression operator=Gt right=expression # binaryOperation ;

callableExpression
    : LeftParen expression RightParen # parenExpression
    | callee=callableExpression callTypeVariableList? LeftParen callArgumentList RightParen # callExpression
    | referredName=Identifier # reference ;

callTypeVariableList: Lt typeExpression (Comma typeExpression)* Gt ;

callArgumentList: (expression (Comma expression)*)? ;