Sequence <- T                                    Text = S.Text
' T : RxString = <                               ' S : RxString <- Sequence
                   Length : Text._
                   Bytes  : Text
                 >