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