coq-lsp.fleche
Memo.Interp
coq-lsp.coq
coq-lsp.lang
coq-lsp.lsp
fleche_waterproof
type t = Coq.State.t * Coq.Ast.t
val eval : t -> Coq.State.t Coq.Interp.interp_result Stats.t
Interpret a command, possibly memoizing it
val stats : unit -> int
Stats
val input_info : t -> string
debug