i1 : HTML { HEAD { TITLE "foo" }, BODY { "Hi there" } }
o1 = Hi there
o1 : HTML
|
i2 : html oo
o2 = <?xml version="1.0" encoding="us-ascii" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd" >
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head><title>foo</title>
</head>
<body>Hi there</body>
</html>
|
The object HTML is a mark-up type, with ancestor classes Hypertext < BasicList < Thing.