Module Memprof_coq

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