sig
  val extract : Xmlerr.t list -> Xmlerr.t list -> string list list
  val webstr : string -> string
end