ktbarrett

from typing import *

K_contra = TypeVar("K_contra", contravariant=True)
K_co = TypeVar("K_co", covariant=True)
V_co = TypeVar("V_co", covariant=True)
V = TypeVar("V")
T = TypeVar("T")

class ContravariantMapping(Protocol[K_contra, V_co]):
    def __getitem__(self, __key: K_contra) -> V_co: ...