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