package promela

You can search for identifiers within the package.

in-package search v0.2.0

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 =

| Binop of binary_operator * t * t
| Unop of unary_operator * t
| Variable of Identifier.t
| ConstInt of int
| Array of Identifier.t * t

and binary_operator =

| Mul
| Div
| Mod
| Add
| Sub
| Lshift
| Rshift
| Lt
| Gt
| Le
| Ge
| Eq
| Neq
| Band
| Bxor
| Bor
| And
| Or

and unary_operator =

| Neg
| Not
| Dash

val rename_variables : (Identifier.t -> Identifier.t) -> t -> t

val string_of : t -> string

val identifiers_of : t -> Identifierset.t

val eval : t -> t