Previous Up

E.3  Predicate definition

The general form of a predicate definition is:

  1. predicate comment directive
  2. mode declaration
  3. predicate body

Previous Up