package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

The Coq Proof Assistant -- Core Binaries and Tools

Install

md5=66e57ea55275903bef74d5bf36fbe0f1

sha512=1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b

An async-safe, scoped thread-local store

Sourcetype 'a t

Sourceval create : unit -> 'a t

Create an empty map

Sourceval with_value : 'a t -> value:'a -> scope:(unit -> 'b) -> 'b

Associate ~value to the current thread for the duration of a scope. It can be nested: the previous association is restored on exit.

Sourceval get : 'a t -> 'a option

Get the value currently associated with the current thread.