Natools

Differences From Artifact [c218964070]:

• File natools.ads — part of check-in [f5db1e472f] at 2011-11-25 08:32:24 on branch trunk — natools: empty root package (user: nat, size: 1564) [annotate] [blame] [check-ins using]
• File src/natools.ads — part of check-in [fb1e9e5c96] at 2011-12-09 22:56:32 on branch trunk — Separation of library source and test code into distinct directories (user: nat, size: 1564) [annotate] [blame] [check-ins using]

To Artifact [ad429e03a5]:

• File src/natools.ads — part of check-in [dd0bb46ace] at 2014-05-22 20:14:18 on branch trunk — natools: add Meaningless_Type to help instantiation of interpreters without meaningful context or state (user: nat, size: 1614) [annotate] [blame] [check-ins using]

18
19
20
21
22
23
24
25


26

-- Natools is a collection of miscellaneous small utilities gathered in one --
-- shared library.                                                          --
------------------------------------------------------------------------------


package Natools is
   pragma Pure (Natools);



end Natools;

>
>

18
19
20
21
22
23
24
25
26
27
28

-- Natools is a collection of miscellaneous small utilities gathered in one --
-- shared library.                                                          --
------------------------------------------------------------------------------


package Natools is
   pragma Pure (Natools);

   type Meaningless_Type is (Meaningless_Value);

end Natools;