package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Stats : sig ... end

val input_info : (Coq.Ast.t * Coq.State.t) -> string

val interp_command : 
  st:Coq.State.t ->
  fb_queue:Coq.Message.t list Stdlib.ref ->
  Coq.Ast.t ->
  Coq.State.t Coq.Interp.interp_result Stats.t

val interp_admitted : st:Coq.State.t -> Coq.State.t

val mem_stats : unit -> int

val load_from_disk : file:string -> unit

val save_to_disk : file:string -> unit

module CacheStats : sig ... end