*
         * @return the pointer type
         */
        Type type();
    }

    interface PhasePointer extends Pointer {
        /**
         * Returns the type of pointer, which is always PROJECT for a PhasePointer.
         *
         * @return the PROJECT pointer type
         */
        @Override
        default Type type() {
            return Type.PROJECT;