Default rep specs for record types - documented??

I'm interested in finding out what the default representation of a
record type is. Can I expect the sequence of elements in the default
representation to match the sequence they are defined in?

Pointers to where this information can be found would also be
appreciated, as Cohen's book and Google fail to answer this.

.

Relevant Pages

  • Re: abundance of irrationals!)
    ... BUT THAT'S JUST A DIVERSION AWAY FROM YOUR FAILURE TO STATE YOUR CLAIMED ALTERNATIVE DEFINITION OF SUM1/2^k AS DISTINCT FROM A LIMIT OF A SEQUENCE OF PARTIAL SUMS. ... >> as a binary representation of unity, ... is not defined by the standard limit of a sequence of partial sums, YOU must state YOUR definition of 0.111... ...
    (sci.math)
  • Re: Sequences of digits
    ... A real number can be represented by an infinite sequence 0.abc... ... path of the complete infinite binary tree (CIBT), ... belong to an additional binary representation. ...
    (sci.logic)
  • Re: Computable functions/reals.
    ... sequence _together with_ information on the rate of ... Every rational number has finite representation ... I can show that no sequential machine can ... Assume I am given an infinitely long tape. ...
    (sci.logic)
  • Re: Default rep specs for record types - documented??
    ... record type is. ... Can I expect the sequence of elements in the default representation to match the sequence they are defined in? ... Or he doesn't do any of that because there is nor record layout optimizer implemented in the Ada compiler of your choice. ...
    (comp.lang.ada)
  • Re: Proof 0.999... is not equal to one.
    ... trivial fsct and easy to prove! ... An infinite series, by definition, is a sequence. ... is a representation of a real number. ...
    (sci.math)