module Entities: sig .. end
sig
end
type ul
type li
type amp
type [< `A of & amp ] t = <
[< `A of & amp ]
ul : < li : [< `A of & amp ] as 'a >;
< li : [< `A of & amp ] as 'a >