| Derives the difference of the given regions. |
| Parameter(s): |
| name | type | length | inout | pnum |
| @simple_simplify | bit | 1 | input | 3 |
| @convex_eliminate | bit | 1 | input | 4 |
| @convex_disjoint | bit | 1 | input | 5 |
| @convex_unify | bit | 1 | input | 6 |
| varbinary | -1 | input | 0 | |
| @bin | varbinary | -1 | input | 1 |
| @bin2 | varbinary | -1 | input | 2 |