Module Memprof_coq

val is_real_memprof : bool
val is_interrupted : unit -> bool
val limit_allocations : limit:Stdlib.Int64.t -> (unit -> 'a) -> ('a * Stdlib.Int64.t, exn) Stdlib.result
module Masking : sig ... end
module Thread_map : sig ... end

An async-safe, scoped thread-local store

module Resource_bind : sig ... end

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

module Mutex_aux : sig ... end