Plasma GitLab Archive
Projects Blog Knowledge

sig
  val reset : unit -> unit
  val safetrans_e :
    st_id:int64 ->
    st_tmo:int64 -> st_secret:int64 -> int list Uq_engines.engine
  val cancel_safetrans_e : st_id:int64 -> int list -> unit Uq_engines.engine
  val disconnect : int -> unit
  val post_start_hook : unit -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml