Import Debian changes 20180207-1 debian/20180207-1
[hcoop/debian/mlton.git] / doc / examples / ffi /
drwxr-xr-x   ..
-rw-r--r-- 106 .gitignore
-rw-r--r-- 950 Makefile
-rw-r--r-- 233 c_quot.c
-rw-r--r-- 1163 export.sml
-rw-r--r-- 747 ffi-export.c
-rw-r--r-- 501 ffi-import.c
-rw-r--r-- 3546 iimport.sml
-rw-r--r-- 651 import.sml
-rw-r--r-- 2747 import2.sml
-rw-r--r-- 949 test_quot.sml