1 2 3 4 5 6 7 8 9 10
package TREE_STATIC_Def is type Int is record Value : Integer; end record; procedure check (I : Int; v : integer); One : constant Int := (Value => 1); end;