Initial commit

This commit is contained in:
Folkert Kevelam 2025-06-28 21:47:09 +02:00
parent c7a7879813
commit c73b6c56c7

View File

@ -2,4 +2,4 @@ generic
type Source (<>) is limited private;
type Target (<>) is limited private;
function Unchecked_Conversion (S : Source) return Target
with Pure, Nonblocking, Import, Convention => Intrinsic;
with Pure, Import, Convention => Intrinsic;