Примеры declaration

• The parameter declarations of a grammar may not be recursive, nor mutually recursive.

• However, what biologists expect is the standard encoding, and to produce this we must give explicit instance declarations.

• The rule for functor declarations (rule 18) represents the functor argument by its principal signature during the elaboration of the structure body.

• Figure 10 shows the translation rules for declarations.

• Informally, a class specification consists of constructor and method declarations, and assertions, which regulate the behaviour of objects.

• Semicolons separating members of a sequence of declarations may be omitted.

• The substitution t corresponds to the 'global environment', whereas substitutions deeper in a or s correspond to 'local declarations'.

• Often it suffices to annotate datatype declarations and type signatures with appropriate size constraints.