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