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