package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Proof.V82Source

Sourceval background_subgoals : t -> Goal.goal list Evd.sigma
Sourceval top_goal : t -> Goal.goal Evd.sigma
Sourceval top_evars : t -> Evar.t list
Sourceval grab_evars : t -> t
Sourceval instantiate_evar : Environ.env -> int -> (Environ.env -> Evd.evar_map -> Glob_term.glob_constr) -> t -> t
OCaml

Innovation. Community. Security.