sig
  type t =
      Text of int * string
    | Node of string * (string * string) list * Html.t list
  val read : Pervasives.in_channel -> Html.t list
  val read_file : string -> Html.t list
  val write : (string -> unit) -> Html.t list -> unit
  val write_file : string -> Html.t list -> unit
  val flat : Html.t list -> string list
  val size : unit -> int
  val check : string -> string
end