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