Module Prover

module Prover: sig .. end

module Make: 
functor (Seq : Sigs.SEQUENT) -> Sigs.PROVER 
  with module Seq = Seq 
  with type rule_t = Proofrule.Make(Seq).t 
  with module Proof = Proof.Make(Seq)