class dtd_notation : string -> Pxp_core_types.ext_id -> Pxp_core_types.rep_encoding ->
object
.. end
method name : string
Creation:
new dtd_notation a_name an_external_ID init_encoding
creates a new dtd_notation object with the given name and the given
external ID.
method ext_id : Pxp_core_types.ext_id
method encoding : Pxp_core_types.rep_encoding
method write : Pxp_core_types.output_stream -> Pxp_core_types.encoding -> unit
write_compact_as_latin1 os enc:
Writes the <!NOTATION ... > declaration to 'os' as 'enc'-encoded
string.