(* This type has been automatically generated from tests/xhtml-trans.xml by dtd2cduce *) type Xtd = [ ( Char | Xp | Xh1 | Xh2 | Xh3 | Xh4 | Xh5 | Xh6 | Xdiv | Xul | Xol | Xdl | Xmenu | Xdir | Xpre | Xhr | Xblockquote | Xaddress | Xcenter | Xnoframes | Xisindex | Xfieldset | Xtable | Xform | Xa | Xbr | Xspan | Xbdo | Xobject | Xapplet | Ximg | Xmap | Xiframe | Xtt | Xi | Xb | Xbig | Xsmall | Xu | Xs | Xstrike | Xfont | Xbasefont | Xem | Xstrong | Xdfn | Xcode | Xq | Xsub | Xsup | Xsamp | Xkbd | Xvar | Xcite | Xabbr | Xacronym | Xinput | Xselect | Xtextarea | Xlabel | Xbutton | Xins | Xdel | Xscript | Xnoscript )* ];; type Xth = [ ( Char | Xp | Xh1 | Xh2 | Xh3 | Xh4 | Xh5 | Xh6 | Xdiv | Xul | Xol | Xdl | Xmenu | Xdir | Xpre | Xhr | Xblockquote | Xaddress | Xcenter | Xnoframes | Xisindex | Xfieldset | Xtable | Xform | Xa | Xbr | Xspan | Xbdo | Xobject | Xapplet | Ximg | Xmap | Xiframe | Xtt | Xi | Xb | Xbig | Xsmall | Xu | Xs | Xstrike | Xfont | Xbasefont | Xem | Xstrong | Xdfn | Xcode | Xq | Xsub | Xsup | Xsamp | Xkbd | Xvar | Xcite | Xabbr | Xacronym | Xinput | Xselect | Xtextarea | Xlabel | Xbutton | Xins | Xdel | Xscript | Xnoscript )* ];; type Xtr = [ (Xth | Xtd)+ ];; type Xcol = [ ];; type Xcolgroup = [ Xcol* ];; type Xtbody = [ Xtr+ ];; type Xtfoot = [ Xtr+ ];; type Xthead = [ Xtr+ ];; type Xcaption = [ ( Char | Xa | Xbr | Xspan | Xbdo | Xobject | Xapplet | Ximg | Xmap | Xiframe | Xtt | Xi | Xb | Xbig | Xsmall | Xu | Xs | Xstrike | Xfont | Xbasefont | Xem | Xstrong | Xdfn | Xcode | Xq | Xsub | Xsup | Xsamp | Xkbd | Xvar | Xcite | Xabbr | Xacronym | Xinput | Xselect | Xtextarea | Xlabel | Xbutton | Xins | Xdel | Xscript | Xnoscript )* ];; type Xtable = [ (Xcaption? (Xcol* | Xcolgroup*) Xthead? Xtfoot? (Xtbody+ | Xtr+)) ];; type Xisindex = [ ];; type Xbutton =