Plasma GitLab Archive
Projects Blog Knowledge


[UP]
Wd_types
 Wd_types.application_type
 Wd_types.dialog_decl_type
 Wd_types.dialog_type
 Wd_types.session_manager_type
 Wd_types.session_type
 Wd_types.syntax_tree_type
 Wd_types.template_type
 Wd_types.universe_type
   
WDialog API for Objective Caml: Wd_types.session_manager_type

object
  method create : Wd_types.dialog_type -> Wd_types.session_type
  method unserialize :
    Wd_types.universe_type ->
    Wd_types.environment -> string -> Wd_types.session_type
end

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml