sig
type key = Dm_atomic.atomicValue
type 'a pair = Dm_atomic_btree.key * 'a
type position = int
type 'a btree = 'a Dm_atomic_btree.pair array
val min_typed_value :
'a Dm_atomic_btree.btree ->
Dm_atomic_btree.key -> Dm_atomic_btree.position
val max_typed_value :
'a Dm_atomic_btree.btree ->
Dm_atomic_btree.key -> Dm_atomic_btree.position
val find_low_point :
'a Dm_atomic_btree.btree ->
Dm_atomic_btree.key -> Dm_atomic_btree.position
val find_high_point :
'a Dm_atomic_btree.btree ->
Dm_atomic_btree.key -> Dm_atomic_btree.position
val previous_highest_value :
'a Dm_atomic_btree.btree ->
Dm_atomic_btree.key ->
Dm_atomic_btree.position -> Dm_atomic_btree.position
val next_lowest_value :
'a Dm_atomic_btree.btree ->
Dm_atomic_btree.key ->
Dm_atomic_btree.position -> Dm_atomic_btree.position
val max_position : 'a Dm_atomic_btree.btree -> Dm_atomic_btree.position
val min_position : 'a Dm_atomic_btree.btree -> Dm_atomic_btree.position
val position_before :
Dm_atomic_btree.position -> Dm_atomic_btree.position -> bool
val position_after :
Dm_atomic_btree.position -> Dm_atomic_btree.position -> bool
val first : 'a Dm_atomic_btree.btree -> Dm_atomic_btree.key
val last : 'a Dm_atomic_btree.btree -> Dm_atomic_btree.key
val sub :
'a Dm_atomic_btree.btree ->
Dm_atomic_btree.position ->
Dm_atomic_btree.position -> 'a Dm_atomic_btree.btree
val to_list : 'a Dm_atomic_btree.btree -> 'a list
type 'a bulk_loader
val init : ('a -> 'a -> int) -> 'a Dm_atomic_btree.bulk_loader
val single_add :
'a Dm_atomic_btree.bulk_loader -> Dm_atomic_btree.key * 'a -> unit
val bulk_add :
'a Dm_atomic_btree.bulk_loader -> (Dm_atomic_btree.key * 'a) list -> unit
val finalize : 'a Dm_atomic_btree.bulk_loader -> 'a Dm_atomic_btree.btree
val finalize_sorted :
'a Dm_atomic_btree.bulk_loader -> 'a Dm_atomic_btree.btree
val reset : 'a Dm_atomic_btree.bulk_loader -> unit
end