Classical.StateNode
The type of states: a free algebra of the domain signature
type t = private
| Entrypoint
| Loc of Ast.Program.Loc.t
| Apply of Ast.Program.Relation.t * State.t
| Join of StateSet.t
include Std_extra.Types.TYPE with type t := t
include Std_extra.Types.PRINTABLE with type t := t
val pp : t Std_extra.Types.pp
val order : t -> t -> Std_extra.Types.order
val hash : t -> int