diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-17 10:41:38 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-17 10:41:38 -0700 |
| commit | 8078a13e2382ce85fba3bd0bb8b22e336e8cb6a9 (patch) | |
| tree | 281475ea7fdab6440916bf070dd975348bcf39f3 /lib/models/user.mli | |
| parent | Resolve non-ff merge (diff) | |
| download | disml-8078a13e2382ce85fba3bd0bb8b22e336e8cb6a9.tar.xz disml-8078a13e2382ce85fba3bd0bb8b22e336e8cb6a9.zip | |
Fix mli files and add member methods back
Diffstat (limited to 'lib/models/user.mli')
| -rw-r--r-- | lib/models/user.mli | 3 |
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 |