package rocq-runtime

  1. Overview
  2. Docs
The Rocq Prover -- Core Binaries and Tools

Install 

dune-project
 Dependency

rocq-prover.org Readme Edit opam file Versions (6)

Authors

  1. T
    The Rocq development team, INRIA, CNRS, and contributors

Maintainers

  1. T
    The Rocq development team <rocq+rocq-development@discoursemail.com>

Sources

rocq-9.3.0.tar.gz
sha256=3f0fc283e8644394aa9c7a6e3995b6d9ebbe1e6dda712bf431f9c372dcef95ad

doc/ltac2_plugin/Ltac2_plugin/Tac2dyn/Val/Map/index.html

Module Val.Map

Map from type tags to values parameterized by the tag type

Parameters

module Value : Dyn.ValueS

Signature

type t
type 'a key = 'a tag
type 'a value = 'a Value.t
val empty : t
val add : 'a key -> 'a value -> t -> t
val remove : 'a key -> t -> t
val find : 'a key -> t -> 'a value
val mem : 'a key -> t -> bool
val modify : 'a key -> ('a value -> 'a value) -> t -> t
type map = {
  1. map : 'a. 'a key -> 'a value -> 'a value;
}
val map : map -> t -> t
type any =
  1. | Any : 'a key * 'a value -> any
val iter : (any -> unit) -> t -> unit
val fold : (any -> 'r -> 'r) -> t -> 'r -> 'r
type filter = {
  1. filter : 'a. 'a key -> 'a value -> bool;
}
val filter : filter -> t -> t