Prove.batch

You're seeing just the macro batch, go back to Prove module for more information.
Link to this macro

batch(description, list)

View Source (macro)

Creates a batch of proves.

The description is added to every prove in the batch.