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