package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2

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