PowerAda 31
From OC Systems Wiki!
(31) The manner of explicitly assigning library units to a partition.
See 10.2(2).
Only a single "main subprogram" may be explicitly assigned to a partition; all units needed by that main subprogram are included by the bind process. One can include a group of library units by constructing a main subprogram that names each unit to be included in a WITH clause.