Module Pxp_core_types.I
module StringMap : sig ... end
type ext_id
= A.ext_id
=
|
System of string
|
Public of string * string
|
Anonymous
|
Private of private_id
and private_id
= A.private_id
val allocate_private_id : unit -> private_id
type resolver_id
= A.resolver_id
=
{
rid_private : private_id option;
rid_public : string option;
rid_system : string option;
rid_system_base : string option;
}
val resolver_id_of_ext_id : ext_id -> resolver_id
type dtd_id
= A.dtd_id
=
|
External of ext_id
|
Derived of ext_id
|
Internal
type content_model_type
= A.content_model_type
=
|
Unspecified
|
Empty
|
Any
|
Mixed of mixed_spec list
|
Regexp of regexp_spec
and mixed_spec
= A.mixed_spec
=
|
MPCDATA
|
MChild of string
and regexp_spec
= A.regexp_spec
=
|
Optional of regexp_spec
|
Repeated of regexp_spec
|
Repeated1 of regexp_spec
|
Alt of regexp_spec list
|
Seq of regexp_spec list
|
Child of string
type att_type
= A.att_type
=
|
A_cdata
|
A_id
|
A_idref
|
A_idrefs
|
A_entity
|
A_entities
|
A_nmtoken
|
A_nmtokens
|
A_notation of string list
|
A_enum of string list
type att_default
= A.att_default
=
|
D_required
|
D_implied
|
D_default of string
|
D_fixed of string
type att_value
= A.att_value
=
|
Value of string
|
Valuelist of string list
|
Implied_value
class type collect_warnings = object ... end
class drop_warnings : collect_warnings
type warning
=[
]
class type symbolic_warnings = object ... end
val string_of_warning : warning -> string
val warn : symbolic_warnings option -> collect_warnings -> warning -> unit
type encoding
= Netconversion.encoding
type rep_encoding
=[
]
exception
Validation_error of string
exception
WF_error of string
exception
Namespace_error of string
exception
Error of string
exception
Character_not_supported
exception
At of string * exn
exception
Undeclared
exception
Method_not_applicable of string
exception
Namespace_method_not_applicable of string
exception
Not_competent
exception
Not_resolvable of exn
exception
Namespace_not_managed of string
exception
Namespace_prefix_not_managed of string
exception
Namespace_not_in_scope of string
type output_stream
=[
|
`Out_buffer of Stdlib.Buffer.t
|
`Out_channel of Stdlib.out_channel
|
`Out_function of string -> int -> int -> unit
|
`Out_netchannel of Netchannels.out_obj_channel
]
val write : output_stream -> string -> int -> int -> unit
type pool
= A.pool