package rocq-runtime

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

Module Memprof_coqSource

Sourceval is_real_memprof : bool
Sourceval is_interrupted : unit -> bool
Sourceval 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