sig
  type list = [ `Dl | `Ol | `Ul ]
  type t = [ `Dd | `Dt | `Li ]
  type flow = XHTML_types.LIST.list
end