This is server API (go to client)

Module Eliom_pervasives.​XML 

module XML : sig..end

Low-level XML manipulation.

Base functions 

include XML_sigs.Iterable

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.