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