3 with Discr12_Pkg; use Discr12_Pkg;
7 function F1 return Integer is
12 protected type Poe (D3 : Integer := F1) is
13 entry E (D3 .. F1); -- F1 evaluated
14 function Is_Ok (D3 : Integer; E_First : Integer; E_Last : Integer) return Boolean;
18 entry E (for I in D3 .. F1) when True is
22 function Is_Ok (D3 : Integer; E_First : Integer; E_Last : Integer) return Boolean is