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