package promela

  1. Overview
  2. Docs
type t =
  1. | Binop of binary_operator * t * t
  2. | Unop of unary_operator * t
  3. | Variable of Identifier.t
  4. | ConstInt of int
  5. | Array of Identifier.t * t
and binary_operator =
  1. | Mul
  2. | Div
  3. | Mod
  4. | Add
  5. | Sub
  6. | Lshift
  7. | Rshift
  8. | Lt
  9. | Gt
  10. | Le
  11. | Ge
  12. | Eq
  13. | Neq
  14. | Band
  15. | Bxor
  16. | Bor
  17. | And
  18. | Or
and unary_operator =
  1. | Neg
  2. | Not
  3. | 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
OCaml

Innovation. Community. Security.