Skip to main content

parse_script_steps_from_json_str

xlsynth_driver::proofs::script

Function parse_script_steps_from_json_str 

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

Parses a tactic script from a string as a JSON array of ScriptStep objects.