diff options
Diffstat (limited to 'lib/models/user/user_t.mli')
| -rw-r--r-- | lib/models/user/user_t.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/models/user/user_t.mli b/lib/models/user/user_t.mli index 645df3e..7b8f6b6 100644 --- a/lib/models/user/user_t.mli +++ b/lib/models/user/user_t.mli @@ -1,7 +1,7 @@ (** A partial user. Used internally. *)
type partial_user = {
id: User_id_t.t;
-} [@@deriving sexp, yojson]
+} [@@deriving sexp, yojson { exn = true }]
(** A user object. *)
type t = {
@@ -10,4 +10,4 @@ type t = { discriminator: string; (** The 4 digits, as a string, that come after the '#' in a Discord username. *)
avatar: string option; (** The hash of the user avatar, if they have one set. See {!User.face} to get the avatar URL. *)
bot: bool; (** Whether the user is a bot. *)
-} [@@deriving sexp, yojson]
\ No newline at end of file +} [@@deriving sexp, yojson { exn = true }]
\ No newline at end of file |