import Wayland.Display
import Wayland.Protocols.RiverInputManagementV1.Interface
import Wayland.Protocols.Wayland.Interface

namespace Wayland.Protocols

instance instResolvedInterfaceRiverInputManagerV1 : ResolvedInterface RiverInputManagerV1.name where
  referencedInterfaces := #[
    ⟨RiverInputDeviceV1.name, inferInstance⟩,
    ⟨RiverInputManagerV1.name, inferInstance⟩,
    ⟨WlOutput.name, inferInstance⟩,
  ]

instance instResolvedInterfaceRiverInputDeviceV1 : ResolvedInterface RiverInputDeviceV1.name where
  referencedInterfaces := #[
    ⟨RiverInputDeviceV1.name, inferInstance⟩,
    ⟨WlOutput.name, inferInstance⟩,
  ]


end Wayland.Protocols