Natools

Diff
Login

Differences From Artifact [bd439d8f06]:

To Artifact [a74b2795a7]:


12
13
14
15
16
17
18


19
20
21
22
23
12
13
14
15
16
17
18
19
20
21
22
23
24
25







+
+





         (Pure_Package pure)
         (Preelaborate_Package preelaborate)
         (Test_Function test-function)))
   (Map_Command
      (hash-package Natools.Static_Hash_Maps.S_Expressions.Command_Map)
      (function To_Map_Command)
      (nodes
         (Definite_Elements definite definite-elements)
         (Indefinite_Elements indefinite indefinite-elements)
         (Hash_Package hash-package)
         (Nodes nodes)
         (Function_Name function)
         (Not_Found not-found))))