Plasma GitLab Archive
Projects Blog Knowledge

object
  method admin_table_put_e :
    key:string -> contents:string -> unit Uq_engines.engine
  method datastore_del_e : id:int -> unit Uq_engines.engine
  method datastore_list_e :
    unit -> Nn_datastores.datastore list Uq_engines.engine
  method datastore_new_id_e : unit -> int Uq_engines.engine
  method datastore_upd_e :
    id:int ->
    identity:string -> size:int64 -> enabled:bool -> unit Uq_engines.engine
  method post_commit : bool -> unit
  method pre_commit : journal
  method pre_commit_mon : journal
  method rollback : unit -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml