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 From c046760eb599e42226c683aecbe33753dfc4d500 Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Wed, 12 Dec 2018 15:23:14 -0700 Subject: Complete event dispatch --- lib/sharder.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/sharder.mli') diff --git a/lib/sharder.mli b/lib/sharder.mli index d872c8c..8d04c8d 100644 --- a/lib/sharder.mli +++ b/lib/sharder.mli @@ -1 +1 @@ -module Make(H : S.Http) : S.Sharder \ No newline at end of file +module Make(H : S.Http)(D : S.Dispatch) : S.Sharder \ No newline at end of file -- cgit v1.2.3