From 566dc80134a61ef7909315ddc902da511741e5f1 Mon Sep 17 00:00:00 2001
From: Pascal Rigaux <pixel@mandriva.com>
Date: Sat, 9 Nov 2002 12:02:04 +0000
Subject: *** empty log message ***

---
 perl_checker.src/info.mli | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 perl_checker.src/info.mli

(limited to 'perl_checker.src/info.mli')

diff --git a/perl_checker.src/info.mli b/perl_checker.src/info.mli
new file mode 100644
index 0000000..5751d2b
--- /dev/null
+++ b/perl_checker.src/info.mli
@@ -0,0 +1,7 @@
+val lines_starts : (string * int list ref) list ref
+val current_file_lines_starts : int list ref
+val current_file : string ref
+val start_a_new_file : string -> unit
+val pos2line : string * int * int -> string * int * int * int
+val pos2sfull : string * int * int -> string
+val pos2sfull_current : int -> int -> string
-- 
cgit v1.2.1