aboutsummaryrefslogtreecommitdiff
path: root/lib/ban.atd
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-10 13:12:49 -0700
committerAdelyn Breelove <[email protected]>2019-01-10 13:12:49 -0700
commitb9ee77f8153090e9d47e73ab195540d10720c7b6 (patch)
treed36bdb7ce17e03ee1bdb60d6b638f8ac6e022711 /lib/ban.atd
parentWhy are events so confusing (diff)
downloaddisml-b9ee77f8153090e9d47e73ab195540d10720c7b6.tar.xz
disml-b9ee77f8153090e9d47e73ab195540d10720c7b6.zip
AAAAAAAAAAAAAAAAAAAAAAAA
Diffstat (limited to 'lib/ban.atd')
-rw-r--r--lib/ban.atd6
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/ban.atd b/lib/ban.atd
deleted file mode 100644
index 0a87338..0000000
--- a/lib/ban.atd
+++ /dev/null
@@ -1,6 +0,0 @@
-type user <ocaml from="User" t="t"> = abstract
-
-type t = {
- ?reason: string option;
- user: user;
-} \ No newline at end of file