class factory :
(
object
method create : Cam_view.ressource_name ->
string array -> view * GWindow.window
method create_no_window : GWindow.window ->
Cam_view.ressource_name ->
string array -> view * GObj.widget
method known_ressource_kinds : Cam_view.ressource_kind list
method name : Cam_view.view_name
end
:
object ... end
)
method create : Cam_view.ressource_name ->
string array -> view * GWindow.window
method create_no_window : GWindow.window ->
Cam_view.ressource_name ->
string array -> view * GObj.widget
method known_ressource_kinds : Cam_view.ressource_kind list
method name : Cam_view.view_name