From 806912e96437fec2691e254fb15e72eefabad670 Mon Sep 17 00:00:00 2001
From: charguer <arthur@chargueraud.org>
Date: Tue, 22 Dec 2015 11:56:06 +0100
Subject: [PATCH] extra_mli

---
 generator/tests/jsref/Translate_syntax.mli | 27 ++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 generator/tests/jsref/Translate_syntax.mli

diff --git a/generator/tests/jsref/Translate_syntax.mli b/generator/tests/jsref/Translate_syntax.mli
new file mode 100644
index 0000000..666661e
--- /dev/null
+++ b/generator/tests/jsref/Translate_syntax.mli
@@ -0,0 +1,27 @@
+
+  exception CoqSyntaxDoesNotSupport of string
+  exception Empty_list
+
+  val string_to_coq : string -> char list
+
+  val unary_op_to_coq : Parser_syntax.unary_op -> JsSyntax.unary_op
+  val arith_op_to_coq : Parser_syntax.arith_op -> JsSyntax.binary_op
+  val bin_op_to_coq : Parser_syntax.bin_op -> JsSyntax.binary_op
+
+  val exp_to_literal : Parser_syntax.exp -> JsSyntax.literal
+
+  val exp_to_exp : Parser_syntax.exp -> JsSyntax.expr
+  val exp_to_stat : Parser_syntax.exp -> JsSyntax.stat
+  val exp_to_prog : Parser_syntax.exp -> JsSyntax.prog
+  val exp_to_elem : Parser_syntax.exp -> JsSyntax.element
+  val exp_to_funcbody :
+    Parser_syntax.exp -> JsSyntax.strictness_flag -> JsSyntax.funcbody
+
+  val coq_syntax_from_file : ?init:bool -> string -> JsSyntax.prog
+  val coq_syntax_from_string : string -> JsSyntax.prog
+  val coq_syntax_from_main : string -> JsSyntax.prog
+
+(*
+module Translate_syntax : sig (* ARTHUR: to implement *)
+end
+*)
\ No newline at end of file
-- 
GitLab