1structure Future :> Future =
2struct
3
4
5type 'a future = 'a Susp.susp
6
7val fork = Susp.delay
8val join = Susp.force
9fun value v = Susp.delay (fn () => v)
10fun joins l = List.map join l
11
12end
13