abt
Describes the sort of an argument to an operator along with the number and sorts of the variables bound within it.
Describes the sort of an argument to an operator along with the number and sorts of the variables bound within it.