Module Abducer

module Abducer: sig .. end

module Make: 
functor (Seq : Sigs.SEQUENT) -> 
functor (Defs : Sigs.DEFS) -> Sigs.ABDUCER 
  with type defs_t = Defs.t 
  with type proof_t = Proof.Make(Seq).t 
  with type abdrule_t = Abdrule.Make(Seq)(Defs).t 
  with module Seq = Seq 
  with module Proof = Proof.Make(Seq)