Add rate_type in interpreter/types.ml.
-rw-r--r-- 191 .gitignore
-rw-r--r-- 57 Changes.txt
-rw-r--r-- 1103 INSTALL.txt
-rw-r--r-- 1826 Makefile.in
-rw-r--r-- 1889 README.txt
drwxr-xr-x - architecture
drwxr-xr-x - benchmarks
-rwxr-xr-x 969 configure
drwxr-xr-x - examples
drwxr-xr-x - interpretor