diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/future.ml | 2 | ||||
| -rw-r--r-- | lib/future.mli | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/lib/future.ml b/lib/future.ml index 77386a1a9f..6ebbd4b1d6 100644 --- a/lib/future.ml +++ b/lib/future.ml @@ -40,6 +40,8 @@ module UUID = struct let equal = (==) end +module UUIDMap = Map.Make(UUID) + type 'a assignement = [ `Val of 'a | `Exn of exn | `Comp of 'a computation] (* Val is not necessarily a final state, so the diff --git a/lib/future.mli b/lib/future.mli index c4b55db25d..18b0141329 100644 --- a/lib/future.mli +++ b/lib/future.mli @@ -60,6 +60,8 @@ module UUID : sig val equal : t -> t -> bool end +module UUIDMap : Map.S with type key = UUID.t + exception NotReady type 'a computation |