an instance of the type HTML, x enclosed in an HTML item
Description
i1 : HTML { HEAD { TITLE "foo" }, BODY { "Hi there" } }
o1 =
Hi there
o1 : HTML
i2 : html oo
o2 = <?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>foo</title>
</head>
<body>
Hi there </body>
</html>