module IGUI: Dbf_indexGUI
Dbf_indexGUI
type table_gui_input = {
idxgi_name : string;
string
idxgi_table : Dbf_sql.SQL_db.table;
Dbf_sql.SQL_db.table
idxgi_columns : Dbf_sql.SQL_db.column list;
Dbf_sql.SQL_db.column list
idxgi_unique : bool;
bool
class index_gui : (table_gui_input -> 'a) -> table_gui_input -> object .. end
(table_gui_input -> 'a) -> table_gui_input ->
object
end