diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:15:03 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:15:03 +0200 |
| commit | 1f5491a5af7bd0f1ec4046994d6344886465cba5 (patch) | |
| tree | 9ca3af2221cdbc302b932b67965791a8065699a9 /lib/Wayland/Native.lean | |
| parent | ad4d34bba7671fdf75850a312c7eeeaeb990a9d3 (diff) | |
initial codegen
Diffstat (limited to 'lib/Wayland/Native.lean')
| -rw-r--r-- | lib/Wayland/Native.lean | 3 |
1 files changed, 3 insertions, 0 deletions
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 |