1(***********************************************************************)
2(*                                                                     *)
3(*                          HEVEA                                      *)
4(*                                                                     *)
5(*  Luc Maranget, projet Moscova, INRIA Rocquencourt                   *)
6(*                                                                     *)
7(*  Copyright 2001 Institut National de Recherche en Informatique et   *)
8(*  Automatique.  Distributed only by permission.                      *)
9(*                                                                     *)
10(*  $Id: get.mli,v 1.12 2001-05-25 12:37:22 maranget Exp $             *)
11(***********************************************************************)
12open Lexstate
13
14exception Error of string
15
16val init :
17  (string arg -> string) ->
18  ((Lexing.lexbuf -> unit) -> Lexing.lexbuf -> string) ->
19  (string -> unit) -> (string -> unit) ->
20  (Lexing.lexbuf -> string) ->
21  (Lexing.lexbuf -> unit) -> unit
22
23type saved
24val check : unit -> saved
25val hot : saved -> unit
26
27val get_int_string : string arg -> int
28val get_int : string list arg -> int
29val get_bool : string arg -> bool
30val get_length : string -> Length.t
31
32