diff options
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 |