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