Differences From Artifact [bd439d8f06]:
- File src/natools-static_hash_maps-s_expressions-hash_maps.sx — part of check-in [cf4a28a612] at 2014-05-31 15:04:56 on branch trunk — static_hash_maps-s_expressions: add binding for the new package categorization option (user: nat, size: 767) [annotate] [blame] [check-ins using]
To Artifact [a74b2795a7]:
- File src/natools-static_hash_maps-s_expressions-hash_maps.sx — part of check-in [1cc98d90f5] at 2014-11-09 20:48:10 on branch trunk — static_hash_maps-s_expressions: add commands for definite or indefinite elements (user: nat, size: 885) [annotate] [blame] [check-ins using]
︙ | |||
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)))) |