# `Zee3.Interpreter`

Translates Z3 S-Expression ASTs into native Elixir data types,
and compiles Z3 lambdas into executable Elixir anonymous functions.

This interpreter is only expected to run S-expressions returned by Z3.
It will probably not grow in scope in order to run general Z3 code.

# `to_elixir`

Main entry point. Translates a top-level AST node from Z3 into an Elixir value.

---

*Consult [api-reference.md](api-reference.md) for complete listing*