Initial commit
This commit is contained in:
parent
da845fb44a
commit
687f519373
|
|
@ -2,4 +2,4 @@ generic
|
||||||
type Source (<>) is limited private;
|
type Source (<>) is limited private;
|
||||||
type Target (<>) is limited private;
|
type Target (<>) is limited private;
|
||||||
function Unchecked_Conversion (S : Source) return Target
|
function Unchecked_Conversion (S : Source) return Target
|
||||||
with Pure, Nonblocking, Import, Convention => Intrinsic;
|
with Pure, Import, Convention => Intrinsic;
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue
Block a user