A simple type infering code for L1 language.
Generic testing
> ocamlopt -o tests.exe Sintaxe.ml TypeInfer.ml Eval.ml Tests.ml
> ./evalTests.exe
- Importante
Os nomes dados para os construtores foram anotados em uma aula na qual o professor falou sobre a implementação dele, pois nessa aula o professor disse que gostaria que fosse os nomes padronizados com o que ele usou