public interface QuantifiableVariable extends ParsableVariable
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
name