sum.lex.to_lex_mono source