From 6354dbd89d354e5e2499b4c2bea5d5fa95e020df Mon Sep 17 00:00:00 2001 From: Adelyn Breedlove Date: Wed, 16 Jan 2019 23:36:59 -0700 Subject: eliminate all functors in favour of a simpler approach --- lib/models/ban.mli | 1 + 1 file changed, 1 insertion(+) create mode 100644 lib/models/ban.mli (limited to 'lib/models/ban.mli') diff --git a/lib/models/ban.mli b/lib/models/ban.mli new file mode 100644 index 0000000..d1050b0 --- /dev/null +++ b/lib/models/ban.mli @@ -0,0 +1 @@ +type t = Ban_t.t \ No newline at end of file -- cgit v1.2.3