diff options
author | Clombrong <cromblong@egregore.fun> | 2025-07-01 10:58:04 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-07-26 21:55:11 +0200 |
commit | bc1b86cdccb70bce9fb30e9366bcbd04dd38ddc9 (patch) | |
tree | 563c32931ffc6dbca7b20e6e99491d573ff1511f | |
parent | 519cca49042948b01b63ba2a6eb5392de11d69bd (diff) |
feat(jid): new uchars type
-rw-r--r-- | lib/jid.ml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -6,6 +6,8 @@ type t = { exception InvalidUTF8 +type uchars = Uchar.t list + let of_string (jid : string) : t = let open Uchar in let len = String.length jid in |