aboutsummaryrefslogtreecommitdiff
path: root/lib/http.mli
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2018-11-29 13:50:53 -0700
committerAdelyn Breelove <[email protected]>2018-11-29 13:50:53 -0700
commit18f4b7e8cada448f6fc15ee8ee18944dcb0b1676 (patch)
tree1f0e626eeaf8dd89cc779655b68f12b1b8d0971a /lib/http.mli
parentfunctors! (diff)
downloaddisml-18f4b7e8cada448f6fc15ee8ee18944dcb0b1676.tar.xz
disml-18f4b7e8cada448f6fc15ee8ee18944dcb0b1676.zip
Try to make it a more properly structured lib
Diffstat (limited to 'lib/http.mli')
-rw-r--r--lib/http.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/http.mli b/lib/http.mli
new file mode 100644
index 0000000..caf2ad7
--- /dev/null
+++ b/lib/http.mli
@@ -0,0 +1 @@
+module Make(T: S.Token) : S.Http \ No newline at end of file