aboutsummaryrefslogtreecommitdiff
path: root/lib/models/user.mli
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-21 08:52:33 -0700
committerAdelyn Breelove <[email protected]>2019-01-21 08:52:33 -0700
commitc3d6e15bb89d4a93a2fa486db6c8e126baf4da2e (patch)
tree3fe6679ff4520899bab9ab9fb96145efd614a3a3 /lib/models/user.mli
parentswap order of fields in example bot to reflect correct ordering (diff)
downloaddisml-c3d6e15bb89d4a93a2fa486db6c8e126baf4da2e.tar.xz
disml-c3d6e15bb89d4a93a2fa486db6c8e126baf4da2e.zip
folder restructure
Diffstat (limited to 'lib/models/user.mli')
-rw-r--r--lib/models/user.mli8
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/models/user.mli b/lib/models/user.mli
deleted file mode 100644
index 2cc6184..0000000
--- a/lib/models/user.mli
+++ /dev/null
@@ -1,8 +0,0 @@
-include module type of User_t
-
-val tag : t -> string
-val mention : t -> string
-val default_avatar : t -> string
-val face : t -> string
-(* val private_channel : t -> Channel_t.t *)
-(* val send : t -> Yojson.Safe.json Deferred.Or_error.t *) \ No newline at end of file