package Examples is

   --  My Functions

   --  My Function F1
   function F1
     (-- 1st EOL comment for V1
      V1  : Integer;
      --  whole line comment for V2
      V2  : Integer;
      --  whole line comment for Str
      Str : String)
      --  Is Length of Str between V1 and V2?
      return Boolean with
     --  Precondition  V1 <= V2;
     Pre => V1 <= V2;

   --  My Function F2
   function F2
     (  -- 1st EOL comment for V1
      V1,
      --  whole line comment for V2
      V2  : Integer;
      --  whole line comment for Str
      Str : String)
      --  Is Length of Str between V1 and V2?
      return Boolean with
     --  Precondition  V1 <= V2;
     Pre => V1 <= V2;

end Examples;
