1package body Opt12_Pkg is
2
3   function Equal (L, R: Static_Integer_Subtype) return Boolean is
4   begin
5      return (L = R);
6   end;
7
8end Opt12_Pkg;
9