pub(crate) fn process(
args: &Args,
command: &str,
rl: &mut DefaultEditor,
prog: &mut Option<LoadedProgram>
) -> Result<(), Box<dyn Error>>
Expand description
Process a single command. args
is a struct containing the command-line
arguments, and prog
is a parsed .chalk
file.