class type lexer_factory =Theobject
..end
lexer_factory
creates lexers for a certain character encoding.method encoding : Pxp_core_types.rep_encoding
method open_source : Pxp_reader.lexer_source -> lexer_obj
method open_string : string -> lexer_obj
method open_string_inplace : string -> lexer_obj