diff options
Diffstat (limited to 'lib/models/user.mli')
| -rw-r--r-- | lib/models/user.mli | 8 |
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 |