Module Proofnode

module Proofnode: sig .. end

A node in a cyclic proof.

module Make: functor (Seq : Sigs.SEQUENT) -> Sigs.NODE  
  with type seq_t = Seq.t