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.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

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