Module Pcond

module Pcond: sig .. end

All-in-one printers




All-in-one printers


val dump : Conditions.bundle Qed.Plib.printer
val bundle : ?clause:string -> Conditions.bundle Qed.Plib.printer
val sequence : ?clause:string -> Conditions.sequence Qed.Plib.printer
val pretty : Conditions.sequent Qed.Plib.printer

Low-level API


type env = Plang.Env.t 
val xmark_hyp : Plang.pool -> (Lang.F.var -> unit) -> Conditions.sequence -> unit
val xmark_seq : Plang.pool -> (Lang.F.var -> unit) -> Conditions.sequent -> unit
class engine : Plang.engine -> object .. end