Plasma GitLab Archive
Projects Blog Knowledge

Module Pxp_core_types.A


module A: sig .. end
This is the type anchor


For documentation, see Pxp_core_types.S. This module defines some of the types mentioned in this module type.

User code must not refer directly to this module! The definitions are all also available in Pxp_types, and can be used from there!

module StringMap: Map.S  with type key = string

type ext_id =
| System of string
| Public of (string * string)
| Anonymous
| Private of private_id
type private_id 

type resolver_id = {
   rid_private : private_id option;
   rid_public : string option;
   rid_system : string option;
   rid_system_base : string option;
}
type dtd_id =
| External of ext_id
| Derived of ext_id
| Internal

type content_model_type =
| Unspecified
| Empty
| Any
| Mixed of mixed_spec list
| Regexp of regexp_spec

type mixed_spec =
| MPCDATA
| MChild of string

type 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_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 =
| D_required
| D_implied
| D_default of string
| D_fixed of string

type att_value =
| Value of string
| Valuelist of string list
| Implied_value
type pool 
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml