Skip to main content

parse_script_steps_from_jsonl_str

xlsynth_driver::proofs::script

Function parse_script_steps_from_jsonl_str 

Source 
pub fn parse_script_steps_from_jsonl_str(
    input: &str,
) -> Result<Vec<ScriptStep>, String>
Expand description

Parses a tactic script from a string as JSONL (one ScriptStep JSON object per non-empty, non-comment line).