collect_params_in_clauses

flux_refineck::checker

Function collect_params_in_clauses 

Source 
fn collect_params_in_clauses(
    genv: GlobalEnv<'_, '_>,
    def_id: DefId,
) -> FxHashSet<usize>