Interfaces
ForgeExpression ForgeExpression.Leaf ForgeExpression.Modifiable ForgeType ForgeType.Tuple ForgeType.Unary LocalDecls ProgramElement |
Enums
BinaryExpression.Op ForgeDomain.Kind QuantifyExpression.Op UnaryExpression.Op |
Exceptions
IllegalArityException |