package coq

  1. Overview
  2. Docs
Formal proof management system

Install 

dune-project
 Dependency

coq.inria.fr Edit opam file Versions (27)

Authors

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

Maintainers

  1. C
    coqdev@inria.fr

Sources

coq-8.14.1.tar.gz
sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3

doc/coq-core.library/Libobject/Dyn/Map/index.html

Module Dyn.MapSource

Map from type tags to values parameterized by the tag type

Parameters

module Value : Dyn.ValueS

Signature

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