package obatcher

You can search for identifiers within the package.

in-package search v0.2.0

A Framework for building Batched Concurrent Data Structures

Install

dune-project

Dependency

sha256=bad8af8223b14bd6d582e34eba90048d632f2ac611183e120d0faaeaefb7549e

sha512=cc8ede53c694abbb4aabb6f898e57057c6f2726411eb9f64b056652a0de7adf85432d55df5833d4555ccf03e681869ac0af218119c94f8577008ebd9e0601779

Sourcetype t = {

}

Sourceand node =

Sourceand data = {

}

Sourceval show : (V.t -> string) -> node -> string

Sourceval to_string : (V.t -> string) -> node -> string

Sourceval (!>) : node -> node array

Sourceval (!^) : node -> data

Sourceval (*=) : V.t -> V.t -> bool

Sourceval (*<) : V.t -> V.t -> bool

Sourceval compare : node -> node -> int

Sourceval log2 : int -> int

Sourceval init : size:int -> unit -> t

Sourceval random_level : t -> int

Sourceval make_node : t -> int -> V.t -> node

Sourceval mem : t -> V.t -> bool

Sourceval insert : t -> V.t -> unit

Sourceval size : t -> int

Sourceval validate : ?to_string:(V.t -> string) -> t -> unit

Sourceval print_slist : t -> (V.t -> string) -> unit