class type view_t =
A view is a high-level transaction, involving both the local db and
method pre_commit :
Prepares the commit, and returns the journal to commit. This method
is called before the monitored commit section starts.
method pre_commit_mon :
Prepares the commit, and returns additional journal entries to commit.
This method is called before and at the beginning of the monitored
commit section (i.e. twice)
method post_commit :
bool -> unit
Needs to be called after a commit.
post_commit true if the
commit was successful, and
commit_commit false if not.
This is important for updating the state of caches: In the
first case cache modifications are made permanent, in the
second case they are undone.
method rollback :
unit -> unit
Rolls this view back