object
method encoding : Pxp_core_types.rep_encoding
method open_source : Pxp_reader.lexer_source -> Pxp_lexer_types.lexer_obj
method open_string : string -> Pxp_lexer_types.lexer_obj
method open_string_inplace : string -> Pxp_lexer_types.lexer_obj
end