package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `HConstr.Tbl`Source

Imperative tables indexed by HConstr.t. The interfaces exposed are the same as Hashtbl but are not guaranteed to be implemented by Hashtbl.

Sourcetype key = t

Sourcetype 'a t

Sourceval find_opt : 'a t -> key -> 'a option

Sourceval add : 'a t -> key -> 'a -> unit

Sourceval create : unit -> 'a t