package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Coq.Limits_mp_implSource

Sourceval start : unit -> unit
Sourceval limit : token:Memprof_limits.Token.t -> f:('a -> 'b) -> 'a -> 'b Memprof_limits.result
Sourceval name : unit -> string
Sourceval available : bool