diff options
Diffstat (limited to 'lib/future.mli')
| -rw-r--r-- | lib/future.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/future.mli b/lib/future.mli index c4b55db25..18b014132 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 |