diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-30 08:41:58 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-30 18:09:07 +0200 |
| commit | 530b648bb826ef8a5dfaf5eaa85e8e8eb51ae1ef (patch) | |
| tree | 4f4385897aadea39762b222f5c06e02c8fd98dc8 /lib/jid.ml | |
| parent | c55193c8ba67753595b80b7c059b4465ff6c8c57 (diff) | |
feat(jid): new type Jid.t
Diffstat (limited to 'lib/jid.ml')
| -rw-r--r-- | lib/jid.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/jid.ml b/lib/jid.ml new file mode 100644 index 0000000..19759eb --- /dev/null +++ b/lib/jid.ml @@ -0,0 +1,5 @@ +type t = { + localpart : string option; + domainpart : string; + resourcepart : string option; + } |