aboutsummaryrefslogtreecommitdiff
path: root/lib/models/user.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/models/user.mli')
-rw-r--r--lib/models/user.mli3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/models/user.mli b/lib/models/user.mli
index af873e1..2cc6184 100644
--- a/lib/models/user.mli
+++ b/lib/models/user.mli
@@ -1,4 +1,5 @@
-type t = User_t.t
+include module type of User_t
+
val tag : t -> string
val mention : t -> string
val default_avatar : t -> string