<!-- GENERATED by tools/package_docs.py. Edit this tool metadata or replace the file and remove this marker. -->

# symsets

`CAIMEOX/symbit/symsets` is the public import path for this package.

Symbolic sets, intervals, finite sets, images, products, and set-theoretic operations used by the solving and assumptions layers.

## When To Use This Package

- Import `CAIMEOX/symbit/symsets` directly when your code depends on this package's subsystem-specific types or algorithms.
- Prefer this package over the root facade when you want the focused API surface listed below rather than a convenience wrapper.

## Key Public Entry Points

- `compare_set`
- `complement`
- `complexes`
- `condition_set`
- `contains`
- `empty_set`
- `finite_set`
- `image_set`


## Example

```mbt check
///|
test "symsets builds intervals and finite sets" {
  let interval_set = interval(@symcore.int(0), @symcore.int(1))
  let finite = finite_set([@symcore.int(0), @symcore.int(1)])
  inspect(compare_set(interval_set, interval_set), content="0")
  inspect(compare_set(finite, finite), content="0")
}
```
## Related Packages

- `CAIMEOX/symbit/symcore`
- `CAIMEOX/symbit/symlogic`