package coq-lsp

  1. Overview
  2. Docs
module Stats : sig ... end

Interpret a command, possibly memoizing it

val interp_admitted : st:Coq.State.t -> (Coq.State.t, Loc.t) Coq.Protect.E.t
val mem_stats : unit -> int

Stats

module CacheStats : sig ... end
val load_from_disk : file:string -> unit

Not working yet

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

debug

OCaml

Innovation. Community. Security.