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