Class: TraceEvent
TraceEvent
()
Trace record emitted when
evaluate()
or the CLI runs with tracing enabled.
Constructor
new TraceEvent
()
Source:
rml-links.mjs
,
line 54
Home
Classes
Diagnostic
Env
TraceEvent
Global
DIALECTS
SUPPORTED_LANGUAGES
check
checkProgram
cloneCst
computeFormSpans
cstToLino
evaluate
evaluateFile
exportIsabelle
extractLiterateLino
extractProgram
isConvertible
leaves
linoToCst
list
nf
parseJs
parseLean
parseLino
parseRocq
parseRust
parseToCst
printCst
printFromCst
printJs
printLean
printRocq
printRust
roundTrip
run
synth
token
trivia
whnf