diff options
author | Clombrong <cromblong@egregore.fun> | 2025-07-02 19:57:22 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-07-26 21:55:50 +0200 |
commit | da55fb529db908834f4910ca8da31537d2f20b95 (patch) | |
tree | 20ef6a4a5bb0f2f7561cb1a5959e5502e153b015 | |
parent | 6a618526a0859b36f76889039bb8678610a9d1d3 (diff) |
docs(jid): document type t
-rw-r--r-- | lib/jid.ml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +(** An XMPP JID. If there is no localpart or resourcepart, they're [None]. *) type t = { localpart : string option; domainpart : string; |