Cryptol.REPL.Command
data Command
data CommandDescr
data CommandBody
parseCommand
runCommand
splitCommand
findCommand
findCommandExact
findNbCommand
moduleCmd
loadCmd
loadPrelude
handleCtrlC
sanitize
replParse
liftModuleCmd
moduleCmdResult