[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.universe_type
object
method application : Wd_types.application_type
method create : Wd_types.environment -> string -> Wd_types.dialog_type
method register :
string ->
(Wd_types.universe_type ->
string -> Wd_types.environment -> Wd_types.dialog_type) ->
unit
end