package coq-lsp

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.