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.