pub fn parse_script(src: &str) -> Result<Tactic, ScriptError>
Compile a proof-script string into a composed Tactic (no user-defined tactics).
Tactic