CompileError
CompileResult
CompileResult
document
CrashResult
document
Crashed
CrashResult
cause
DocumentException
PositionedException
code
TypecheckedOK
FailSection
crash
$doc