sig
  val compare : 'a -> 'a -> int
  val raise : exn -> 'a
  module Html :
    sig val pcdata : string -> [> Html_types.pcdata ] Tyxml.Html.elt end
end