[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