with Constant2_Pkg2; use Constant2_Pkg2;

package Constant2_Pkg1 is

  Val : constant Boolean := F1 and then F2;

end Constant2_Pkg1;