module STRUCTURE: sig .. end
sig
end
type t = [ `Body | `Head | `Html | `Title ]
[ `Body | `Head | `Html | `Title ]