Module Odoc_see_lexer