Module Memprof_coqSource

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