promela 0.4.2

Libraries

This package provides the following libraries (via ocamlobjinfo):

promela

Documentation:

• Identifier
• Identifierset
• Expression
• Type
• Declarations
• Label
• Serialize
• Statement
• Process
• Model
• Normalization
• Promela