package sqlite3
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Sqlite3.Backup
init ~dst ~dst_name ~src ~src_name initializes a backup from the database src/src_name to the database dst/dst_name.
step backup pagecount will copy up to pagecount pages between the associated databases of backup.
finish backup destroys the association backup; this is to be called after step returns SQLITE_DONE.
val remaining : t -> intremaining backup returns the number of pages still to be backed up in backup.
val pagecount : t -> intpagecount backup returns the total number of pages in the source database of backup.