From d5ab5fb9e07d820de66fd987f7d2f793dd130e49 Mon Sep 17 00:00:00 2001 From: Adelyn Breedlove Date: Mon, 17 Dec 2018 06:46:25 -0700 Subject: Add a few sigs --- lib/models.mli | 1 + 1 file changed, 1 insertion(+) create mode 100644 lib/models.mli (limited to 'lib/models.mli') diff --git a/lib/models.mli b/lib/models.mli new file mode 100644 index 0000000..01a8893 --- /dev/null +++ b/lib/models.mli @@ -0,0 +1 @@ +module Make(H : S.Http) : S.Models \ No newline at end of file -- cgit v1.2.3