Remove wrong text, as pointed out by colleagues

[goldfirere]

I think @stedolan would make a good reviewer here.

[stedolan]

This text isn't very wrong and is helpful, so how about fixing it instead of deleting it?

All you need to do is change 2 words to 12 bytes: C is padding t1 to 32-bit alignment, not 64-bit alignment. The analysis is otherwise correct, though.

[stedolan]

I don't really understand the layout algorithm presented here. What does it do on these examples?

type a = #{ p : int32#; q: int16#; r: int32# }
type b = #{ s: int16#; t: a }

From the description, I think we end up with 2 bytes of padding between q and r in an a, to ensure that r is well aligned. But when inlined into b, it looks like a will pack differently, and the padding will move. Is this the intent? If so, it means we can never have anything like interior pointers, because the layout of a depends on what it's embedded into. (Maybe that's a reasonable decision, but I'd like to know we're not making it accidentally)