diff --git a/collects/typed/file/md5.ss b/collects/typed/file/md5.ss new file mode 100644 index 00000000..0cab46d7 --- /dev/null +++ b/collects/typed/file/md5.ss @@ -0,0 +1,4 @@ +#lang typed-scheme +(require/typed file/md5 + [md5 ((U Bytes Input-Port) -> Bytes)]) +(provide md5)