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