Require Export Xml.

Require Functions.
Require Checker.

Print XML Module Disk "examples" Functions.
Print XML Module Disk "examples" Checker.