Function biodivine_sketchbook::algorithms::fo_logic::utils::collect_unique_fol_vars_recursive

source ยท 
fn collect_unique_fol_vars_recursive(
    formula_tree: &FolTreeNode,
    seen_vars: HashSet<String>,
) -> HashSet<String>