From bcde99fbe99174a094f38fdda70ad69d65a423f4 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 30 Apr 2014 17:19:08 +0200
Subject: Fist commit (WIP)

---
 frontend/file_parser.mli | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 frontend/file_parser.mli

(limited to 'frontend/file_parser.mli')

diff --git a/frontend/file_parser.mli b/frontend/file_parser.mli
new file mode 100644
index 0000000..7ce47f0
--- /dev/null
+++ b/frontend/file_parser.mli
@@ -0,0 +1,10 @@
+(*
+  Cours "Sémantique et Application à la Vérification de programmes"
+  
+  Antoine Miné 2014
+  Ecole normale supérieure, Paris, France / CNRS / INRIA
+*)
+
+val parse_file: string -> Abstract_syntax_tree.prog 
+(* Opens and parses a file given as argument. *)
+
-- 
cgit v1.2.3