Function dock_prompt 

pub fn dock_prompt(steps: Walkthrough, hint: Option<&str>) -> String

The dock bar’s line: the step to take now, or, once Execute has run, what the prover last said (hint), else the invitation to prove.