package promela

  1. Overview
  2. Docs
type t
exception Invalid of string
val create : string -> t
val string_of : t -> string