Evaluates this predicate on the given arguments.
Parameters:
t
u
Returns: true if the input arguments match the predicate, otherwise false
true
false
Diagram: function