Method ADT.Relation.Binary()->filter_destructively()
- Method filter_destructively
this_program filter_destructively(function(:void) f)
- Description
Filters the entries in the relation destructively, removing all entries for which the filtering function f returns false. The function f gets two arguments: the left and the right value for each entry in the relation.