Module Classical.StateNode

The type of states: a free algebra of the domain signature

type t = private
  1. | Entrypoint
  2. | Loc of Ast.Program.Loc.t
  3. | Apply of Ast.Program.Relation.t * State.t
  4. | Join of StateSet.t
include Std_extra.Types.TYPE with type t := t
include Std_extra.Types.PRINTABLE with type t := t
val compare : t -> t -> int
val order : t -> t -> Std_extra.Types.order
val equal : t -> t -> bool
val hash : t -> int