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