aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Utilities.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Utilities.mli')
-rw-r--r--lib/Utilities.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Utilities.mli b/lib/Utilities.mli
index eae59f9..11c4487 100644
--- a/lib/Utilities.mli
+++ b/lib/Utilities.mli
@@ -17,6 +17,7 @@ end
module Option : sig
val ( let* ) : 'a option -> ('a -> 'b option) -> 'b option
val fmap : ('a -> 'b option) -> 'a option -> 'b option
+ val sequence : ('a, 'b) result option -> ('a option, 'b) result
end
module Atomic : sig