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 (3)

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.1.0.tar.gz
sha256=b236dc44f92e1eeca6877c7ee188a90c2303497fe7beb99df711ed5a7ce0d824

doc/rocq-runtime.clib/Dyn/module-type-MapS/index.html

Module type Dyn.MapSSource

Sourcetype t
Sourcetype 'a key
Sourcetype 'a value
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
Sourceval modify : 'a key -> ('a value -> 'a value) -> t -> t
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
Sourcetype filter = {
  1. filter : 'a. 'a key -> 'a value -> bool;
}
Sourceval filter : filter -> t -> t