Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Coq.GoalsSource
Source
type 'a goals = {goals : 'a list;stack : ('a list * 'a list) list;bullet : Pp.t option;shelf : 'a list;given_up : 'a list;
}Source
val process_goal_gen :
(Environ.env -> Evd.evar_map -> Constr.t -> 'a) ->
Evd.evar_map ->
Evar.t ->
'a reified_goalStm-independent goal processor