prune-redundant-predicates ( assoc -- default assoc' )


Vocabulary
generic.single

Definition