types.aadl 200 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
package ocarina_types

public

with Data_Model;

data integer
end integer;

data implementation integer.i
properties
   Data_Model::Data_Representation => integer;
end integer.i;


end ocarina_types;