Differences From Artifact [0d990b8dfd]:
- File src/natools-static_hash_maps-s_expressions-hash_maps.sx — part of check-in [83a3e25ae4] at 2014-05-21 20:07:28 on branch trunk — static_hash_maps-s_expressions: add generated child packages for interpreter (user: nat, size: 533) [annotate] [blame] [check-ins using]
To Artifact [6b065695c1]:
- File src/natools-static_hash_maps-s_expressions-hash_maps.sx — part of check-in [fcc23fc780] at 2014-05-26 20:25:48 on branch trunk — static_hash_maps-s_expressions: add binding for extra declarations in generated spec (user: nat, size: 570) [annotate] [blame] [check-ins using]
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | + |
(Natools.Static_Hash_Maps.S_Expressions.Command_Maps
private
(Package_Command
(hash-package Natools.Static_Hash_Maps.S_Expressions.Command_Pkg)
(function To_Package_Command)
(not-found Extra_Declarations)
(nodes
(Private_Child private)
(Public_Child public)))
(Map_Command
(hash-package Natools.Static_Hash_Maps.S_Expressions.Command_Map)
(function To_Map_Command)
(nodes
(Hash_Package hash-package)
(Nodes nodes)
(Function_Name function)
(Not_Found not-found))))
|