module LIST: sig..end

type list = [ `Dl | `Ol | `Ul ]

type t = [ `Dd | `Dt | `Li ]

type flow = list