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