ExTLA.Refinement.Error exception (ExTLA v0.6.0)

Copy Markdown View Source

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.