obatcher.ds
Batched_skiplist.Make
obatcher
module V : Map.OrderedType
module Sequential : sig ... end
module Batched : sig ... end
include sig ... end
type t = Obatcher.Make(Batched).t
val init : ?cfg:Batched.cfg -> unit -> t
val exec : t -> 'a Batched.op -> 'a
val get_internal : t -> Batched.t
val insert : t -> V.t -> unit
val mem : t -> V.t -> bool
val sz : t -> int