HANDBOOK / GENTLE PRIMER / Smart Traversal /

Default Rule

Consider a predicate

i.e. with one parameter. For a given functor the default rule has the form where a member P(Xi) is omitted if the corresponding type Ti is not defined by terms (e.g if it is INT).