package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=dae965685dceed47ad8e9844f12fe707dafdf2c3bdd46d0431d5b4d1e7754b23

sha512=b94ade804d751db87434042bbaa821fa8e82e233820a76806f910e2da040094b137e88a3579911a1626930912622b064c776ddbcb6991fb7111021ebf6553fdc

module E : Set.OrderedType

module Lock : Lock

Sourcetype t

Sourcetype time = int64

Sourceval create : Time.t -> t

Sourceval add : t -> E.t -> unit

Sourceval get : t -> E.t -> (E.t * time) option

Sourceval count : t -> int

Sourceval iter : t -> (E.t -> unit) -> unit

On This Page