val ( ?< ) : State.t -> State.t
val ( >< ) : State.t -> TagSet.t * bool -> State.t*(TagSet.t*bool*bool)
val ( ><@ ) : State.t -> TagSet.t * bool -> State.t*(TagSet.t*bool*bool)
- val ( >=> ) : State.t *(TagSet.t*bool*bool) -> Formula.t -> (State.t*TagSet.t*t)
+ val ( >=> ) : State.t * (TagSet.t*bool*bool) -> Formula.t -> (State.t*TagSet.t*t)
end
val print : Format.formatter -> t -> unit
end
module CachedTransTable : Hashtbl.S with type key = SetTagKey.t
-module Formlist : Ptset.S with type elt = Transition.t
+module Formlist : Hlist.S with type elt = Transition.t
type 'a t = {
id : int;