In the Cryptol REPL, we can use :? to display built-in documentation about REPL colon-commands, for example:
Cryptol> :? :browse
:b, :browse [ MODULE ]
Display information about loaded modules.
With no arguent, :browse shows information about the names in scope.
With an argument M, shows information about the names exported from M
This doesn't work in the SAWScript REPL. We should implement this, and add built-in documentation about all the REPL colon commands.
In the Cryptol REPL, we can use
:?to display built-in documentation about REPL colon-commands, for example:This doesn't work in the SAWScript REPL. We should implement this, and add built-in documentation about all the REPL colon commands.