From af684566617ebce536e9f30693aa3e225af906c4 Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Fri, 14 Dec 2018 10:52:36 -0700 Subject: There's a lot going on --- lib/dispatch.mli | 1 + 1 file changed, 1 insertion(+) create mode 100644 lib/dispatch.mli (limited to 'lib/dispatch.mli') diff --git a/lib/dispatch.mli b/lib/dispatch.mli new file mode 100644 index 0000000..100a34b --- /dev/null +++ b/lib/dispatch.mli @@ -0,0 +1 @@ +module Make(H : S.Handler) : S.Dispatch \ No newline at end of file -- cgit v1.2.3