rpar package:Agda

A bound variable. The first range is the range of the variable in the right-hand side of the syntax declaration, and the second range is the range of the variable in the left-hand side.
Parses an expression.
Parse an expression. Could be used in interactions.