# `ExTLA.Refinement.Error`
[🔗](https://github.com/dcoai/extla/blob/v0.6.0/lib/ex_tla/refinement.ex#L85)

A refinement mapping that does not hold up: at compile time from `validate!/3`, or at
runtime from `abstract!/3` when a mapping produces something that is not a state of
the spec.

---

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