sig
  type 'a full_btree_handler
  type int_btree = int Dm_atomic_btree.btree
  type 'a full_btree_index = 'a array * Dm_atomic_btree_util.int_btree array
  val create_full_btree_handler :
    int -> 'Dm_atomic_btree_util.full_btree_handler
  val get_main_array : 'Dm_atomic_btree_util.full_btree_handler -> 'a array
  val set_main_array :
    'Dm_atomic_btree_util.full_btree_handler -> 'a array -> unit
  val single_add_to_btree :
    'Dm_atomic_btree_util.full_btree_handler ->
    int -> Dm_atomic_btree.key * int -> unit
  val bulk_add_to_btree :
    'Dm_atomic_btree_util.full_btree_handler ->
    int -> (Dm_atomic_btree.key * int) list -> unit
  val finalize_btree_on_index :
    'Dm_atomic_btree_util.full_btree_handler -> int -> unit
  val get_loaded_btree_on_index :
    'Dm_atomic_btree_util.full_btree_handler ->
    int -> Dm_atomic_btree_util.int_btree
  val full_btree_index_of_btree_handler :
    'Dm_atomic_btree_util.full_btree_handler ->
    'Dm_atomic_btree_util.full_btree_index
  val full_btree_index_of_sorted_btree_handler :
    'Dm_atomic_btree_util.full_btree_handler ->
    'Dm_atomic_btree_util.full_btree_index
  val full_btree_index_add_to_main_array :
    'Dm_atomic_btree_util.full_btree_handler -> '-> int
  val full_btree_index_update_in_main_array :
    'Dm_atomic_btree_util.full_btree_handler -> int -> '-> unit
end