From 1f5491a5af7bd0f1ec4046994d6344886465cba5 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Sun, 5 Apr 2026 16:15:03 +0200
Subject: initial codegen

---
 lib/Wayland/Native.lean | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/Wayland/Native.lean')

diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean
index 430472b..25884ed 100644
--- a/lib/Wayland/Native.lean
+++ b/lib/Wayland/Native.lean
@@ -139,4 +139,7 @@ opaque Proxy.listen : (proxy : @& Proxy) → (handler : UInt32 → ArgumentBuffe
 @[extern "waylean_proxy_keep"]
 opaque Proxy.keep : (proxy : @& Proxy) → IO Unit
 
+@[extern "waylean_proxy_get_type"]
+opaque Proxy.getType : (proxy : @& Proxy) → IO String
+
 end Wayland.Native
-- 
cgit v1.3.1