status -> (DisambiguateTypes.domain_item * LexiconAst.alias_spec) list ->
status
-(* this callback is called on every lexicon command *)
-val set_callback: (LexiconAst.command -> unit) -> unit
+(* args: print function, message (may be empty), status *)
+val dump_aliases: (string -> unit) -> string -> status -> unit