(***********************************************************************) (* *) (* 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) -> string -> string -> unit val end_notes : unit -> unit