blob: 1ea58ee03e4984fb4a6a9b2a2ae6a6ff5d125d8e [file] [log] [blame]
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;