Module Abdrule

module Abdrule: sig .. end

module Make: 
functor (Seq : Sigs.SEQUENT) -> 
functor (Defs : Sigs.DEFS) -> Sigs.ABDRULE 
  with type seq_t = Seq.t 
  with type proof_t = Proof.Make(Seq).t 
  with type rule_t = Proofrule.Make(Seq).t 
  with type defs_t = Defs.t