"Tag" struct that wraps a void[] buffer with deserialized contents for the struct of type S. Intended as type-safe tool to guarantee that any operations on such structs preserve the contiguous data layout
Ensures that the type of the ith member of S (i.e. S.tupleof[i]) is a value type; that is, it contains no references.
Ensures that T, which is a the nested type of the type of the ith member of S (i.e. S.tupleof[i]), is a value type; that is, it contains no references.
Defines struct type that is guaranteed to be stored in a contiguous byte buffer including all referenced arrays / pointers.