diff options
Diffstat (limited to 'lib/future.ml')
| -rw-r--r-- | lib/future.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/future.ml b/lib/future.ml index 6ebbd4b1d..4437cec84 100644 --- a/lib/future.ml +++ b/lib/future.ml @@ -41,6 +41,7 @@ module UUID = struct end module UUIDMap = Map.Make(UUID) +module UUIDSet = Set.Make(UUID) type 'a assignement = [ `Val of 'a | `Exn of exn | `Comp of 'a computation] |