X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=ocaml_yacc%2Fparser.mli;fp=ocaml_yacc%2Fparser.mli;h=0000000000000000000000000000000000000000;hb=a788ad367540fe853285fe83428d4fe7b2a82309;hp=2a8b33106dd8f37f9899d27787ed2cb6db188faa;hpb=dc89f114ae00fcae1f8cd0bb5eae9977f15c3582;p=uann

diff --git a/ocaml_yacc/parser.mli b/ocaml_yacc/parser.mli
deleted file mode 100644
index 2a8b331..0000000
--- a/ocaml_yacc/parser.mli
+++ /dev/null
@@ -1,17 +0,0 @@
-type token =
-  | INT of (string)
-  | ID of (string)
-  | PLUS
-  | MINUS
-  | TIMES
-  | DIV
-  | LPAREN
-  | RPAREN
-  | ASSIGN
-  | IN
-  | IMPLY
-  | FUNC
-  | EOL
-
-val main :
-  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Ast.ast