Module Entities

module Entities: sig .. end

type ul 
type li 
type amp 
type [< `A of & amp ] t = <
   ul : < li : [< `A of & amp ] as 'a >;
>