Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Stats : sig ... endval interp_command :
st:Coq.State.t ->
Coq.Ast.t ->
Coq.State.t Coq.Interp.interp_result Stats.tInterpret a command, possibly memoizing it
val interp_admitted : st:Coq.State.t -> Coq.State.tmodule CacheStats : sig ... endval input_info : (Coq.Ast.t * Coq.State.t) -> stringdebug