diff options
Diffstat (limited to 'lib/models/role.mli')
| -rw-r--r-- | lib/models/role.mli | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lib/models/role.mli b/lib/models/role.mli deleted file mode 100644 index d37f733..0000000 --- a/lib/models/role.mli +++ /dev/null @@ -1,11 +0,0 @@ -open Async - -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 -val hoist : t -> Yojson.Safe.json Deferred.Or_error.t -val set_colour : colour:int -> t -> Yojson.Safe.json Deferred.Or_error.t -val set_name : name:string -> t -> Yojson.Safe.json Deferred.Or_error.t -val unhoist : t -> Yojson.Safe.json Deferred.Or_error.t
\ No newline at end of file |