package ocaml-unikraft-arm64

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project

Dependency

sha256=1ee307b066765da124056ce825683b2dcf58145297f9b717345b6c55e84af2c4

Sourcetype ('k1, 'k2, 'd) t

A bucket is a mutable "list" of ephemerons.

Sourceval make : unit -> ('k1, 'k2, 'd) t

Create a new bucket.

Sourceval add : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> 'd -> unit

Add an ephemeron to the bucket.

Sourceval remove : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> unit

remove b k1 k2 removes from b the most-recently added ephemeron with keys k1 and k2, or does nothing if there is no such ephemeron.

Sourceval find : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> 'd option

Returns the data of the most-recently added ephemeron with the given keys, or None if there is no such ephemeron.

Sourceval length : ('k1, 'k2, 'd) t -> int

Returns an upper bound on the length of the bucket.

Sourceval clear : ('k1, 'k2, 'd) t -> unit

Remove all ephemerons from the bucket.