sig
val commit_e :
(bool -> unit) ->
Nn_db.modification Queue.t ->
Nn_state.shared_state_t -> bool Uq_engines.engine
val trans_e :
Nn_state.shared_state_t ->
Nn_state.view_t list ->
'a Uq_engines.engine -> 'a Uq_engines.final_state Uq_engines.engine
end
