#Pcond.state ->
object
  method get_state : bool
  method mark : Lang.F.marks -> Conditions.step -> unit
  method name : env -> Lang.F.term -> string
  method pp_block : clause:string -> Conditions.sequence Qed.Plib.printer
  method pp_clause : string Qed.Plib.printer
  method pp_comment : string Qed.Plib.printer
  method pp_condition :
    step:Conditions.step -> Conditions.condition Qed.Plib.printer
  method pp_core : Lang.F.term Qed.Plib.printer
  method pp_definition : Format.formatter -> string -> Lang.F.term -> unit
  method pp_esequent : env -> Conditions.sequent Qed.Plib.printer
  method pp_goal : Lang.F.pred Qed.Plib.printer
  method pp_intro :
    step:Conditions.step ->
    clause:string -> ?dot:string -> Lang.F.pred Qed.Plib.printer
  method pp_name : string Qed.Plib.printer
  method pp_property : Property.t Qed.Plib.printer
  method pp_sequence : clause:string -> Conditions.sequence Qed.Plib.printer
  method pp_sequent : Conditions.sequent Qed.Plib.printer
  method pp_step : Conditions.step Qed.Plib.printer
  method pp_stmt : string Qed.Plib.printer
  method pp_warning : Warning.t Qed.Plib.printer
  method set_goal : Lang.F.pred -> unit
  method set_sequence : Conditions.sequence -> unit
  method set_sequent : Conditions.sequent -> unit
  method set_state : bool -> unit
end