sig
  type seq_t
  type ruleapp_t =
      (Sigs.SEQTACTICS.seq_t * Tagpairs.t * Tagpairs.t) list * string
  type t = Sigs.SEQTACTICS.seq_t -> Sigs.SEQTACTICS.ruleapp_t list
  val relabel : string -> Sigs.SEQTACTICS.t -> Sigs.SEQTACTICS.t
  val attempt : Sigs.SEQTACTICS.t -> Sigs.SEQTACTICS.t
  val compose : Sigs.SEQTACTICS.t -> Sigs.SEQTACTICS.t -> Sigs.SEQTACTICS.t
  val first : Sigs.SEQTACTICS.t list -> Sigs.SEQTACTICS.t
  val repeat : Sigs.SEQTACTICS.t -> Sigs.SEQTACTICS.t
  val choice : Sigs.SEQTACTICS.t list -> Sigs.SEQTACTICS.t
end