aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-07-02 19:57:22 +0200
committerClombrong <cromblong@egregore.fun>2025-07-26 21:55:50 +0200
commitda55fb529db908834f4910ca8da31537d2f20b95 (patch)
tree20ef6a4a5bb0f2f7561cb1a5959e5502e153b015
parent6a618526a0859b36f76889039bb8678610a9d1d3 (diff)
docs(jid): document type t
-rw-r--r--lib/jid.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/jid.ml b/lib/jid.ml
index d9e59b9..4e58c5b 100644
--- a/lib/jid.ml
+++ b/lib/jid.ml
@@ -1,3 +1,4 @@
+(** An XMPP JID. If there is no localpart or resourcepart, they're [None]. *)
type t = {
localpart : string option;
domainpart : string;