module XML : sig..end
Low-level XML manipulation.
Base functions ¶
See XML_sigs.Iterable .
Unique nodes ¶
Unique nodes are XML nodes that are manipulated 'by reference' when sent to the client part of an Eliom-application: the created element is allocated only one time in each instance of an application. See the eliom manual for more details.
val make_unique : ?copy:elt -> elt -> elt
The function make_unique elt create a copy of the node elt that will be manipulated 'by reference' when sent to the client. When the optional argument ~copy:ref_elt is provided, the returned node share the same "reference id" as ref_elt. This allows the definition of multiple "initial contents" for a unique node, depending on which mode is first sent.
val is_unique : elt -> bool
The predicate is_unique elt is valid when elt is node created with the function make_unique.