package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Memprof_coq`Source

Sourceval is_real_memprof : bool

Sourceval is_interrupted : unit -> bool

val limit_allocations : 
  limit:Int64.t ->
  (unit -> 'a) ->
  ('a * Int64.t, exn) result

Sourcemodule Masking : sig ... end

Sourcemodule Thread_map : sig ... end

An async-safe, scoped thread-local store

Sourcemodule Resource_bind : sig ... end

Open Memprof_limits.Resource_bind to enable the let& binder for resources.

Sourcemodule Mutex_aux : sig ... end