Language Reference

• General
• Basic Elements
• Scalar Types
• Parameters and Arguments
• Message Types
• Type Refinements
• Type Derivations
• Sequence Types
• State Machines
• Packages
• Context Clauses
• Files