diff options
Diffstat (limited to 'lib/future.ml')
| -rw-r--r-- | lib/future.ml | 2 |
1 files changed, 2 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 |