(new GrafiteTypes.status baseuri)#set_lstatus lexicon_status#lstatus
;;
-let init baseuri =
+let init lexicon_status =
CoercDb.restore CoercDb.empty_coerc_db;
LibraryObjects.reset_defaults ();
- initial_status baseuri
+ initial_status lexicon_status
;;
let pop () =
LibrarySync.pop ();