package promela

  1. Overview
  2. Docs
type t
type special =
  1. | Accept
  2. | Progress
  3. | End
val create : ?special:special -> Identifier.t -> t
val string_of : t -> string
val is_end : t -> bool