functor (BaseTypes : Shredded_Basetypes) (Record : Record_Type) ->
sig
type recno_handle
type record = Record.record
type cursor_direction = Next | Prev
val recno_open :
string ->
int -> Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle
val recno_put :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle ->
BaseTypes.stored_nodeid ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record -> unit
val recno_get :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle ->
BaseTypes.stored_nodeid ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record option
val recno_get_unsafe :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle ->
BaseTypes.stored_nodeid ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record
val recno_delete :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle ->
BaseTypes.stored_nodeid -> unit
val recno_close :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle -> unit
val recno_close_no_sync :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle -> unit
val recno_sync :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle -> unit
type recno_cursor
val recno_cursor_to_cursor :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.cursor_direction ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record Cursor.cursor
val recno_cursor_open :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_handle ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor
val recno_cursor_put :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
BaseTypes.stored_nodeid ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record -> unit
val recno_cursor_get_next :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record option
val recno_cursor_get_prev :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record option
val recno_cursor_get_first :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record option
val recno_cursor_get_last :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record option
val recno_cursor_get_next_dup :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record option
val recno_cursor_get_set :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor ->
BaseTypes.stored_nodeid ->
Shredded_store_sigs.Shredded_Recno_Functor_Sig.record option
val recno_cursor_del :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor -> unit
val recno_cursor_close :
Shredded_store_sigs.Shredded_Recno_Functor_Sig.recno_cursor -> unit
end