Tipe komposit secara mendalam

Record, record berdiskriminan, array, tipe akses, dan klausul representasi.

Modul ini membahas tipe komposit Ada secara menyeluruh. Cakupannya meliputi record dengan bidang bernama dan agregatnya, record berdiskriminan dengan varian yang diperiksa secara statis, array dengan batas yang menjadi bagian tipenya, tipe akses pool-specific dan general beserta aturan scope, serta klausul representasi untuk tata letak bit-eksak keperluan perangkat keras. Materi modul ini melanjutkan pengetikan kuat dari modul-modul sebelumnya ke penyusunan data berukuran lebih besar, dan menjadi dasar bagi parameterisasi tipe pada modul generik.