package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c

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