From 18f4b7e8cada448f6fc15ee8ee18944dcb0b1676 Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Thu, 29 Nov 2018 13:50:53 -0700 Subject: Try to make it a more properly structured lib --- lib/sharder.mli | 1 + 1 file changed, 1 insertion(+) create mode 100644 lib/sharder.mli (limited to 'lib/sharder.mli') diff --git a/lib/sharder.mli b/lib/sharder.mli new file mode 100644 index 0000000..d872c8c --- /dev/null +++ b/lib/sharder.mli @@ -0,0 +1 @@ +module Make(H : S.Http) : S.Sharder \ No newline at end of file -- cgit v1.2.3