p
tla2json
package tla2json
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- final case class Dump[A](states: ArraySeq[State[A]]) extends AnyVal with Product with Serializable
- final case class State[+A](variables: VectorMap[String, A]) extends Product with Serializable
- final case class Step[+A](no: Int, desc: Desc, state: A) extends Product with Serializable
- final case class Steps[+A](values: ArraySeq[Step[A]]) extends Product with Serializable
- sealed trait Value extends AnyRef
Value Members
- case object BuildInfo extends Product with Serializable
This object was generated by sbt-buildinfo.
- object CLI
- object Dump extends Serializable
- object Parsers
- object State extends Serializable
- object Step extends Serializable
- object Steps extends Serializable
- object Value