public interface SortedOperator extends Operator
Modifier and Type | Method and Description |
---|---|
Sort |
argSort(int i) |
ImmutableArray<Sort> |
argSorts() |
Sort |
sort() |
arity, bindVarsAt, isRigid, sort, validTopLevel
Sort sort()
Sort argSort(int i)
ImmutableArray<Sort> argSorts()