Natools

Artifact 6b065695c13853c56ba663eeb082b2f717fd715c:

• 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]

(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))))