Make (p.obatcher.1.1.doc.obatcher.ds.Ds.Batched

Parameters

module V : Map.OrderedType

Sourceval (.!()) : 'a Utils.Finite_vector.t -> int -> 'a

Sourcemodule Sequential : sig ... end

Sourcemodule Batched : sig ... end

include sig ... end

Sourcetype 'a t = 'a Obatcher.Make_Poly(Batched).t

Sourceval init : ?cfg:Batched.cfg -> unit -> 'a t

Sourceval exec : 'a t -> ('a, 'b) Batched.op -> 'b

Sourceval get_internal : 'a t -> 'a Batched.t

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

Sourceval search : 'a t -> V.t -> 'a option

Sourceval size : 'a t -> int