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