abt
Specifies an operator with sort sort accepting args arguments with cooresponding valences.
sort
args
Specifies an operator with sort
sort
acceptingargs
arguments with cooresponding valences.