우선순위

참고: 우선순위 숫자가 작은 것이 먼저 연산된다.

사용자 코드에서

메인 페이지의 자동 생성된 표를 참고하라. 단항 연산자는 이항 연산자에 우선하도록 하는 것이 좋을 듯하다.

우선순위(밖)	우선순위(안)	연산자
Precedence.FUNEXPR	Precedence.COMMA, 0	$(\texttt{...\#1})\mapsto \texttt{\#2}$
0	Precedence.COLONEQQ, Precedence.COLONEQQ	$\texttt{\#1}\coloneqq\texttt{\#2}$
0	0, Precedence.COMMA	$\texttt{\#1}(\texttt{...\#2})$
0	0, Precedence.COMMA	$\texttt{\#1}[\texttt{...\#2}]$
0	Precedence.COMMA, $\infty$	$\textsf{schema}(\texttt{...\#1}):\\\quad\texttt{\#2}$
Precedence.COMMA	Precedence.COMMA, Precedence.COMMA	$\texttt{...\#1}\vdash\texttt{\#2}$
0	$\infty$	(root)