Function biodivine_sketchbook::algorithms::fo_logic::tokenizer::collect_fn_arguments

source · 
fn collect_fn_arguments(
    input_chars: &mut Peekable<Chars<'_>>,
) -> Result<Vec<FolToken>, String>
Expand description

Retrieve the arguments of a function, process everything from “(” up to “)”. Function name is consumed by caller.