summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
Diffstat (limited to 'sid.mli')
-rw-r--r--sid.mli4
1 files changed, 2 insertions, 2 deletions
diff --git a/sid.mli b/sid.mli
index 23c4a71..cffc0e9 100644
--- a/sid.mli
+++ b/sid.mli
@@ -11,7 +11,7 @@ val get_sub_auths : t -> sub_auths
module StringFmt :
sig
- val decode : string -> (t, string result)
+ val decode : string -> (t, string) result
val encode : t -> string
end
@@ -48,6 +48,6 @@ module WellKnown :
end
end
-val of_string : string -> t
+val of_string : string -> (t, string) result
val to_string : t -> string