diff options
author | Clombrong <cromblong@egregore.fun> | 2025-06-29 13:53:18 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-06-29 13:53:18 +0200 |
commit | 8ca8ce59dcbd8402d7767e06817980b8552f11a2 (patch) | |
tree | 6f3d154baa43544f9124866cf9d579de9c966b07 /lib | |
parent | 3c0557e0a502866d2fbf0f7c391c43a7bbc6d3a4 (diff) |
feat(stream): create features type for features
Diffstat (limited to 'lib')
-rw-r--r-- | lib/stream.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/stream.ml b/lib/stream.ml index aa7c3b3..772c09d 100644 --- a/lib/stream.ml +++ b/lib/stream.ml @@ -9,9 +9,12 @@ type feature = | STARTTLS | Other of Xml.element +(** [features] is a tuple of features list, mandatory and optional. *) +type features = (feature list * feature list) + (** [parse_features stanza] is a tuple of the list of all mandatory features and all optional features described in the <features> [stanza]. *) -let parse_features (stanza : Xml.element) : feature list * feature list = +let parse_features (stanza : Xml.element) : features = let open Xml in let open Either in |