Functor Seqtactics.Make

module Make: 
functor (Seq : Sigs.SEQUENT) -> Sigs.SEQTACTICS  
  with type seq_t = Seq.t

type seq_t 

type ruleapp_t = (seq_t * Tagpairs.t * Tagpairs.t) list * string 

type t = seq_t -> ruleapp_t list 

val relabel : string -> t -> t

val attempt : t -> t

val compose : t -> t -> t

val first : t list -> t

val repeat : t -> t

val choice : t list -> t