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