sort: find the syntactic sort of the agent
sort A;
See also
freevars
Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999