sig
  module Make :
    functor (Seq : Sigs.SEQUENT) ->
      sig
        type seq_t = 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
      end
end