declarations.adb
declarations-outputdeclarations.adb
declarations-outputdeclarations-generatedeclarations.adb -vcg
declarations-outputdeclarations-generatedeclarations-generatesuccessors.adb -vcg
declarations-outputdeclarations-printdeclarations.adb
declarations-outputdeclarations-printdeclarations-printconstantrules.adb
declarations-outputdeclarations-printdeclarations-printruleheader.adb -vcg
declarations-outputdeclarations-printdeclarations-printtyperules.adb
