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