spark2014/docs/lrm/code/package_nested_inside_subprogram/05/switch.ads

package Switch
--# own in State;
is

   type Reading is (on, off, unknown);

   function ReadValue return Reading;
   --# global in State;

end Switch;