This is an example of a formal synopsis. It is used in the listing as well as presented in the section.

By default a synopsis is performed by extracting the leading text of any section.  It is also possible to provide a formal synopsis that is used when presenting a list of synopses as well as being shown at the top of the section when accessed.