next up previous
Next: Variables Up: Specification Files Previous: Names

Symbols and signature

A symbol has a name and an arity separated by the character :.
A signature is introduced by the Ops keyword followed by a list of symbols.



Irene DURAND
2005-02-01