Module Space.Tuple

Fixed-length heterogeneous sequence in Value.t form.

create spaces is a tuple space. Valid values are lists where element i belongs to spaces.(i). unpack validates each element against its subspace.