Function parse_script_with_env 

pub fn parse_script_with_env(
    src: &str,
    env: &TacticEnv,
) -> Result<Tactic, ScriptError>

Compile a proof-script string with USER-DEFINED tactics resolved from env (M).