Plasma GitLab Archive
Projects Blog Knowledge

sig
  val commit_e :
    (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 ->
    'Uq_engines.engine ->
    string -> 'Uq_engines.final_state Uq_engines.engine
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml