package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3

Map from type tags to values parameterized by the tag type

module Value : Dyn.ValueS

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

type map = {

}

val map : map -> t -> t

type any =

val iter : (any -> unit) -> t -> unit

val fold : (any -> 'r -> 'r) -> t -> 'r -> 'r

On This Page