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 09dff08de289bbb6f7136c7e2f8c66dcc1856bba)
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