Structsยง
- AppState ๐
- Command ๐
- Repl
Commands ๐Mapping from symbols to built-in REPL commands. - Repl
Resolver ๐Resolver providing special REPL commands.
Enumsยง
- ReplCmd ๐Built-in REPL commands.
Constantsยง
- HEADER ๐
Staticsยง
- COMMANDS ๐
Functionsยง
- dispatch ๐
- get_
history_ ๐path - Prints the offending line, marking the error with โ^^^โ.
- query ๐
- Starts the REPL and loads the facts