Pxp_dtd.dtd_notation · pxp 1.2.9

Polymorphic XML Parser

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library pxp_engine

Class Pxp_dtd . dtd_notation

method encoding : Pxp_core_types.I.rep_encoding

method ext_id : Pxp_core_types.I.ext_id

method name : string

method write : Pxp_core_types.I.output_stream ->
  Pxp_core_types.I.encoding ->
  unit