1 2 3 4 5 6 7 8 9 10 11 12 13
package gen_pkg is generic ( type T; function "-"(a : T) return T-- is <>; ); end package; use work.gen_pkg; package p is new gen_pkg generic map ( T => T_1000 );