coerc_db : NCicCoercion.db; dump : NCicLibrary.obj list;
lstatus : LexiconEngine.lexicon_status; obj : NCic.obj;
set_coerc_db : NCicCoercion.db -> 'c;
coerc_db : NCicCoercion.db; dump : NCicLibrary.obj list;
lstatus : LexiconEngine.lexicon_status; obj : NCic.obj;
set_coerc_db : NCicCoercion.db -> 'c;