sig
  type inline = [ `Img | `Map | `Object ]
  type block = [ `Fieldset | `Form | `Table ]
  type flow = [ `Fieldset | `Form | `Img | `Map | `Object | `Table ]
end