/src/Cfe/Language/Construct/

• ../
• Concatenate.agda
• Single.agda
• Union.agda