method proofStatus: ProofEngineTypes.status (** @raise Statement_error *)
method proofMetasenv: Cic.metasenv (** @raise Statement_error *)
method proofContext: Cic.context (** @raise Statement_error *)
method proofStatus: ProofEngineTypes.status (** @raise Statement_error *)
method proofMetasenv: Cic.metasenv (** @raise Statement_error *)
method proofContext: Cic.context (** @raise Statement_error *)