Classical.State
States are just hash-consed nodes
include Std_extra.Types.PRINTABLE
with type t = StateNode.t Hashconsing.hash_consed
type t = StateNode.t Hashconsing.hash_consed
val pp : t Std_extra.Types.pp
val order : t -> t -> Std_extra.Types.order
val hash : t -> int