[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.template_type
object
method instantiate :
?context:Wd_types.syntax_tree_type Wd_types.dict ->
?vars:Wd_types.trans_vars ->
?params:Wd_types.syntax_tree_type Wd_types.dict ->
Wd_types.dialog_type -> Wd_types.syntax_tree_type
method study : Wd_types.application_type -> unit
end