package promela

  1. Overview
  2. Docs
type t =
  1. | Bit
  2. | Byte
  3. | Short
  4. | Int
  5. | Uint
  6. | Channel
  7. | Pid
val string_of : t -> string
val size : t -> int
OCaml

Innovation. Community. Security.