1signature Future = 2sig 3 4 type 'a future 5 val fork : (unit -> 'a) -> 'a future 6 val join : 'a future -> 'a 7 val joins : 'a future list -> 'a list 8 val value : 'a -> 'a future 9 10end 11