Skip to main content

Module pop_pruning

lean_ctx::core

Module pop_pruning 

Source

Structs§

ExcludedModule
PopDecision

Functions§

decide_for_candidates
filter_candidates_by_pop
module_for_path