Module type Sigs.ABDUCER

module type ABDUCER = sig .. end

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