Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package promela
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t = [ | `Assert of Expression.t| `Assign of Identifier.t * Expression.t option * Expression.t| `Atomic of t list| `Comment of string| `Dstep of t list| `Goto of Label.t| `Guard of Expression.t| `If of t list list| `IfElse of t list list * t list| `Label of Label.t| `Print of string * Expression.t list| `Run of Identifier.t * Expression.t list| `Skip
]val string_of : t -> stringval string_of_lst : t list -> stringval to_channel : ?ident:int -> Pervasives.out_channel -> t -> unitval to_channel_lst : ?ident:int -> Pervasives.out_channel -> t list -> unitval identifiers_of : t -> Identifierset.tval identifiers_read : t -> Identifierset.tval identifiers_written : t -> Identifierset.tval identifiers_of_lst : t list -> Identifierset.tval rename_variables : (Identifier.t -> Identifier.t) -> t -> tval rename_variables_lst : (Identifier.t -> Identifier.t) -> t list -> t listval map_rhs : (Expression.t -> Expression.t) -> t -> t