Update sequence.qbk

This commit is contained in:
Denis Mikhailov
2021-10-31 13:22:35 +04:00
committed by GitHub
parent de61a00d62
commit c199f5c6fa

View File

@ -166,7 +166,7 @@ Bidirectional Sequence the following must be met:
[[`__back__(s)`] [Any type] [] [Constant]] [[`__back__(s)`] [Any type] [] [Constant]]
[[`__back__(s) = o`] [Any type] [`s` is mutable and [[`__back__(s) = o`] [Any type] [`s` is mutable and
`e = o`, where `e` `e = o`, where `e`
is the first element is the last element
in the sequence, is in the sequence, is
a valid expression.] [Constant]] a valid expression.] [Constant]]
] ]
@ -237,14 +237,14 @@ any Random Access Sequence the following must be met:
[[`__at_c__<N>(s)`] [Any type] [] [Constant]] [[`__at_c__<N>(s)`] [Any type] [] [Constant]]
[[`__at_c__<N>(s) = o`] [Any type] [`s` is mutable and [[`__at_c__<N>(s) = o`] [Any type] [`s` is mutable and
`e = o`, where `e` `e = o`, where `e`
is the first element is the N-th element from the beginning
in the sequence, is of the sequence, is
a valid expression.] [Constant]] a valid expression.] [Constant]]
[[`__at__<M>(s)`] [Any type] [] [Constant]] [[`__at__<M>(s)`] [Any type] [] [Constant]]
[[`__at__<M>(s) = o`] [Any type] [`s` is mutable and [[`__at__<M>(s) = o`] [Any type] [`s` is mutable and
`e = o`, where `e` `e = o`, where `e`
is the first element is the M-th element from the beginning
in the sequence, is of the sequence, is
a valid expression.] [Constant]] a valid expression.] [Constant]]
] ]
@ -321,8 +321,7 @@ For any Associative Sequence the following expressions must be valid:
[[`__at_key__<K>(s)`] [Any type] [] [Constant]] [[`__at_key__<K>(s)`] [Any type] [] [Constant]]
[[`__at_key__<K>(s) = o`] [Any type] [`s` is mutable and [[`__at_key__<K>(s) = o`] [Any type] [`s` is mutable and
`e = o`, where `e` `e = o`, where `e`
is the first element is the element associated with K, is
in the sequence, is
a valid expression.] [Constant]] a valid expression.] [Constant]]
] ]