Module Sigs

module Sigs: sig .. end
Core module signatures used in Cyclist.

module type SEQUENT = sig .. end
Sequent signature used as input to most functors in Cyclist.
module type DEFS = sig .. end
Inductive definitions signature.
module type NODE = sig .. end
Proof node signature.
module type PROOF = sig .. end
Proof signature.
module type SEQTACTICS = sig .. end
module type PROOFRULE = sig .. end
module type ABDRULE = sig .. end
module type PROVER = sig .. end
module type ABDUCER = sig .. end