enqueue
mutate.Circular_Buffer.enqueue
Postcondition
Inherited from container.Circular_Buffer.enqueue
post analysis: result.ok ^ (s.count.as_i64 > available)
0.095dev (GIT hash 174ff0d5a4465a8a0415fd934dc6963e69d62f22)
post analysis: result.ok ^ (s.count.as_i64 > available)
returns an error if the given sequence is too long to fit into
the buffer entirely