(* HTML Evaluation *)

val debug : bool ref

type minimization =
  Legal | Illegal of string

val sgml_lexer :
  Dtd.t -> Lexing.lexbuf -> (minimization * Html.token list * Html.location)

val automat : Dtd.t -> (Html.location -> Html.token -> unit)
                    -> Lexing.lexbuf
                    -> (Html.location -> string -> unit)
		    -> unit
