ExTLA.State.InvalidTermError exception (ExTLA v0.6.0)

Copy Markdown View Source

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