#include <Concepts/Circulator.h>
See Subsection Bidirectional Circulators in the page on Circulators.