'double bar' definitions:

Definition of 'double bar'

From: WordNet
noun
Notation marking the end of principal parts of a musical composition; two adjacent bar lines