From d70a3322c1ba77636fd158a42b1acb69d4b33b94 Mon Sep 17 00:00:00 2001 From: depsterr Date: Sat, 3 Sep 2022 12:41:54 +0200 Subject: [PATCH] enough for today, my head hurts --- lib/Raw/RawSyntax.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/Raw/RawSyntax.ml b/lib/Raw/RawSyntax.ml index e69de29..c485af7 100644 --- a/lib/Raw/RawSyntax.ml +++ b/lib/Raw/RawSyntax.ml @@ -0,0 +1,5 @@ +type name = string + +type bind + = Imp + | Exp