promela 0.4.2 · OCaml Package

package promela

promela
- Promela
  - Declarations
  - Expression
  - Identifier
  - Identifierset
  - Label
  - Model
  - Normalization
  - Process
  - Statement
  - Type

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

exception Invalid of string

val create : string -> t

val string_of : t -> string