[> `NoTag ])
list NTacStatus.status ->
(< auto_cache : NCicLibrary.automation_cache;
+ eq_cache : NCicLibrary.unit_eq_cache;
coerc_db : NCicCoercion.db; dump : NCicLibrary.obj list;
lstatus : LexiconEngine.lexicon_status; obj : NCic.obj;
set_coerc_db : NCicCoercion.db -> 'c;