1 2 3 4 5
generic type I is interface; with procedure P (X : I) is abstract; package gen_interface_p is end;