folkert/Ethy_Soft
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Initial commit

Browse Source
This commit is contained in:
Folkert Kevelam 2025-06-28 21:47:09 +02:00
parent ee9b469c90
commit da845fb44a
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
runtime/adainclude/unchecked_conversion.ads Normal file
View File

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