# `ExTLA.State.InvalidTermError`
[🔗](https://github.com/dcoai/extla/blob/v0.6.0/lib/ex_tla/state.ex#L185)

Raised when a spec variable holds a term that cannot be deterministically
serialized (`02-dsl-semantics.md` §6).

---

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