string_of_id:(Pxp_core_types.ext_id -> string * Pxp_core_types.encoding option) -> unit -> Pxp_reader.resolver