module Dbf_dbStores: sig .. end
type string_view = {
|
str_view : GTree.view; |
|
str_string : GTree.view_column; |
}
class string_list_store : unit -> object .. end
type string_2_view = {
|
str2_view : GTree.view; |
|
str2_string1 : GTree.view_column; |
|
str2_string2 : GTree.view_column; |
}
class string2_list_store : unit -> object .. end
type column_view = {
|
col_view : GTree.view; |
|
col_name : GTree.view_column; |
|
col_nullable : GTree.view_column; |
|
col_type : GTree.view_column; |
|
col_ocaml_ty : GTree.view_column; |
|
col_options : GTree.view_column; |
}
class column_store : unit -> object .. end
type table_view = {
|
tv_view : GTree.view; |
|
tv_name : GTree.view_column; |
|
tv_pkey : GTree.view_column; |
}
type table_data = {
}
class table_store : unit -> object .. end
type vtable_view = {
|
vt_view : GTree.view; |
|
vt_name : GTree.view_column; |
|
vt_descr : GTree.view_column; |
}
class vtable_store : unit -> object .. end
type index_view = {
|
idx_view : GTree.view; |
|
idx_name : GTree.view_column; |
|
idx_unique : GTree.view_column; |
|
idx_table : GTree.view_column; |
|
idx_descr : GTree.view_column; |
}
class index_store : unit -> object .. end
type query_view = {
|
qry_view : GTree.view; |
|
qry_name : GTree.view_column; |
|
qry_query : GTree.view_column; |
|
qry_state : GTree.view_column; |
}
class query_store : unit -> object .. end