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

# symcore

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

The foundational expression package for Symbit. It defines the symbolic expression tree, exact numeric leaves, callable heads, and structural traversal primitives used everywhere else in the module.

## When To Use This Package

- Import `CAIMEOX/symbit/symcore` 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

- `add`
- `application_args`
- `application_has_name`
- `application_name`
- `application_parts`
- `applied_parts`
- `applied_undefined_function`
- `apply`


## Example

```mbt check
///|
test "symcore builds structured expressions" {
  let x = Expr::Symbol("x")
  let expr = add([x, int(1)])
  inspect(@symprint.pretty_string(expr), content="x + 1")
}
```
## Related Packages

- `CAIMEOX/symbit`
- `CAIMEOX/symbit/symsimplify`

## Further Reading

- [`../../docs/specs/core.md`](../../docs/specs/core.md)