Plasma GitLab Archive
Projects Blog Knowledge

object
  method active_id : Pxp_core_types.I.resolver_id
  method change_encoding : string -> unit
  method clone : Pxp_reader.resolver
  method close_in : unit
  method init_rep_encoding : Pxp_core_types.I.rep_encoding -> unit
  method init_warner :
    Pxp_core_types.I.symbolic_warnings option ->
    Pxp_core_types.I.collect_warnings -> unit
  method open_in : Pxp_core_types.I.ext_id -> Pxp_reader.lexer_source
  method open_rid : Pxp_core_types.I.resolver_id -> Pxp_reader.lexer_source
  method rep_encoding : Pxp_core_types.I.rep_encoding
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml