1 files changed, 21 insertions, 0 deletions
diff --git a/lib/Wayland/Protocols/RiverInputManagementV1/Resolved.lean b/lib/Wayland/Protocols/RiverInputManagementV1/Resolved.lean
new file mode 100644
index 0000000..558dee2
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverInputManagementV1/Resolved.lean
@@ -0,0 +1,21 @@
+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
+\ No newline at end of file