I believe the double colon marks the end of a code example and the beginning of a new one.