forked from YannickChevalier/hevea-mathjax
-
Notifications
You must be signed in to change notification settings - Fork 0
/
entry.mli
17 lines (15 loc) · 918 Bytes
/
entry.mli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1998 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
type key = string list * string list
exception NoGood
exception Fini
val read_key : Lexing.lexbuf -> key * string option
val read_indexentry : Lexing.lexbuf -> string * string