Search
TypeCheck
v0.13.5
Pages
Modules
Settings
View Source
TypeCheck.CompileError
exception
(TypeCheck v0.13.5)
Raised when during compilation of types or specifications, an irrecoverable error occurs.