*)
val add_aliases_for_objs:
- LexiconEngine.status -> UriManager.uri list -> LexiconEngine.status
+ LexiconEngine.status -> [`Old of UriManager.uri list | `New of NUri.uri list]->
+ LexiconEngine.status
val time_travel:
present:LexiconEngine.status -> past:LexiconEngine.status -> unit