val equal : t -> t -> bool
module Infix : sig
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 equal : t -> t -> bool
module Infix : sig
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)