try_parse_map_redef_to_target_loc

taco_parser::tla

Function try_parse_map_redef_to_target_loc 

Source 
fn try_parse_map_redef_to_target_loc(
    pair: Pair<'_, Rule>,
    proc_ident: &String,
) -> Result<Location, Error>
Expand description

Helper function to parse_map_update_to_target_location