validate takes a DTD and a tagged element, and returns a list of
errors in the document with respect to its DTD. If you have several documents to validate against a single DTD,
then you will gain efficiency by freezing-in the DTD through partial
application, e.g. checkMyDTD = validate myDTD. |