diff options
Diffstat (limited to 'lib/models/guild/role_t.mli')
| -rw-r--r-- | lib/models/guild/role_t.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/models/guild/role_t.mli b/lib/models/guild/role_t.mli index d9caf7a..98c1559 100644 --- a/lib/models/guild/role_t.mli +++ b/lib/models/guild/role_t.mli @@ -5,7 +5,7 @@ type role = { colour: int;
hoist: bool;
position: int;
- permissions: int;
+ permissions: Permissions.t;
managed: bool;
mentionable: bool;
} [@@deriving sexp, yojson { exn = true }]
@@ -17,7 +17,7 @@ type t = { colour: int; (** The integer representation of the role colour. *)
hoist: bool; (** Whether the role is hoisted. This property controls whether the role is separated on the sidebar. *)
position: int; (** The position of the role. [@everyone] begins the list at 0. *)
- permissions: int; (** The integer representation of the permissions the role has. *)
+ permissions: Permissions.t; (** The integer representation of the permissions the role has. *)
managed: bool; (** Whether the guild is managed by an integration. *)
mentionable: bool; (** Whether the role can be mentioned. *)
guild_id: Guild_id_t.t; (** The guild ID this role belongs to. *)
|