Module Seqtactics

module Seqtactics: sig .. end

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