package Net.Packet.IP is do_debug : Debug_Mode := Inherit; type Address is abstract new Net.Packet.Address with null record; type Packet is abstract new Net.Packet.Packet with null record; function Payload (p : Packet) return Payload_Type is abstract; -- function Src (p : Packet) return Address'Class is abstract; -- function Dst (p : Packet) return Address'Class is abstract; end Net.Packet.IP;