Module Db.StorageSource
Source
type db = {db_names : String_automata.t;db_pos_types : String_automata.t Occurences.t;db_neg_types : String_automata.t Occurences.t;
}