Each behavior module is translated into a package that contains objects and subprograms implementing that module in Ada. Two files are generated for such a package: one for the package specification and another for the package body.
The structure of the two files is explained for the module called RAIL_CROSS; the files are:
● rail_cross_.a package specification
● rail_cross.a package body