path: root/lib/sequent_calculus/headers.ml

(* Sequent calculus: types and exceptions *)

(* exceptions that can occur when attempting a sequent proof *)
exception RuleNotApplicable
exception NotProvable of string