foot.mli

(***********************************************************************)
(*                                                                     *)
(*                          HEVEA                                      *)
(*                                                                     *)
(*  Luc Maranget, projet PARA, INRIA Rocquencourt                      *)
(*                                                                     *)
(*  Copyright 1998 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(***********************************************************************)

type saved
val checkpoint : unit -> saved
val hot_start : saved -> unit


val step_anchor : int -> unit
val get_anchor : int -> int
val register : int -> string -> string -> unit
val sub_notes : unit -> unit
val flush : bool -> (string -> unit) (* lexer *) ->
  (string -> unit) (* just output *) -> string -> string -> unit
val end_notes : unit -> unit