package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926

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