Function biodivine_sketchbook::algorithms::fo_logic::utils::collect_unique_fn_symbols_recursive

source ยท 
fn collect_unique_fn_symbols_recursive(
    formula_tree: &FolTreeNode,
    seen_symbols: &mut HashMap<String, usize>,
) -> Result<(), String>