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