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/role.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/role.mli')
| -rw-r--r-- | lib/models/role.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/models/role.mli b/lib/models/role.mli index 5eca8c1..d37f733 100644 --- a/lib/models/role.mli +++ b/lib/models/role.mli @@ -1,6 +1,7 @@ open Async -type t = Role_t.t +include module type of Role_t + val allow_mention : t -> Yojson.Safe.json Deferred.Or_error.t val delete : t -> Yojson.Safe.json Deferred.Or_error.t val disallow_mention : t -> Yojson.Safe.json Deferred.Or_error.t |