'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