Functor Abducer.Make

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)

type abdrule_t 

type proof_t 

type defs_t 

module Seq: Sigs.SEQUENT 

module Proof: Sigs.PROOF 

val bfs : int ->
       abdrule_t ->
       Seq.t ->
       defs_t ->
       (defs_t -> bool) ->
       (proof_t * defs_t) option

val print_proof_stats : Proof.t -> unit

val melt_proof : Pervasives.out_channel -> Proof.t -> unit