(Valid((bibs())(notes())(toc())(labels())(customs())(content(((blk(Source((lang(caml))(linenums false)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames())(parsinfo(((tag(source))(linenum 3)(origin Source)))))))((blk(Source((lang(caml))(linenums true)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames())(parsinfo(((tag(source))(linenum 13)(origin Source)))))))((blk(Source((lang(caml))(linenums false)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames(plain))(parsinfo(((tag(source))(linenum 23)(origin Source)))))))((blk(Source((lang(caml))(linenums true)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames(plain))(parsinfo(((tag(source))(linenum 33)(origin Source)))))))((blk(Source((lang(caml))(linenums false)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames(boxed))(parsinfo(((tag(source))(linenum 43)(origin Source)))))))((blk(Source((lang(caml))(linenums true)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames(boxed))(parsinfo(((tag(source))(linenum 53)(origin Source)))))))((blk(Source((lang(caml))(linenums false)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames(zebra))(parsinfo(((tag(source))(linenum 63)(origin Source)))))))((blk(Source((lang(caml))(linenums true)(data(((Kwd type)(Norm" 'a tree ")(Sym =))((Norm"    ")(Sym |)(Norm" ")(Type Leaf))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Kwd of)(Norm" 'a ")(Sym *)(Norm" 'a tree ")(Sym *)(Norm" 'a tree"))()((Kwd let)(Norm" ")(Kwd rec)(Norm" count ")(Sym =)(Norm" ")(Kwd function))((Norm"    ")(Sym |)(Norm" ")(Type Leaf)(Norm"                     ")(Sym ->)(Norm" ")(Num 0))((Norm"    ")(Sym |)(Norm" ")(Type Node)(Norm" ")(Sym"(")(Norm node)(Sym ,)(Norm" left")(Sym ,)(Norm" right")(Sym")")(Norm" ")(Sym ->)(Norm" ")(Num 1)(Norm" ")(Sym +)(Norm" count left ")(Sym +)(Norm" count right")))))))(attr((classnames(zebra))(parsinfo(((tag(source))(linenum 73)(origin Source)))))))((blk(Source((lang())(linenums false)(data(((Norm"dario@localhost:~/lambtex$ make"))((Norm"lambcmd -f lambtex -t xhtml -i sample.lambtex -o index.html"))()((Norm"dario@localhost:~/lambtex$ file index.html"))((Norm"index.html: HTML document text")))))))(attr((classnames(console))(parsinfo(((tag(source))(linenum 83)(origin Source)))))))((blk(Source((lang())(linenums true)(data(((Norm"dario@localhost:~/lambtex$ make"))((Norm"lambcmd -f lambtex -t xhtml -i sample.lambtex -o index.html"))()((Norm"dario@localhost:~/lambtex$ file index.html"))((Norm"index.html: HTML document text")))))))(attr((classnames(console))(parsinfo(((tag(source))(linenum 91)(origin Source)))))))))))
