diff options
Diffstat (limited to 'lib/Utilities.mli')
| -rw-r--r-- | lib/Utilities.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Utilities.mli b/lib/Utilities.mli index c9852f0..cdb53df 100644 --- a/lib/Utilities.mli +++ b/lib/Utilities.mli @@ -1,4 +1,5 @@ module Result : sig val ( let* ) : ('a, 'e) result -> ('a -> ('b, 'e) result) -> ('b, 'e) result val fmap : ('a -> ('b, 'e) result) -> ('a, 'e) result -> ('b, 'e) result + val sequence : ('a, 'b) result list -> ('a list, 'b) result end |