History browser/lexical.mli