From c290706fed69d622cfe988e732e1ad01d09e569d Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Sun, 8 Mar 2026 18:26:33 +0100
Subject: rework file structure

---
 lib/Wayland/Basic/PosixSignal.lean | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 lib/Wayland/Basic/PosixSignal.lean

(limited to 'lib/Wayland/Basic/PosixSignal.lean')

diff --git a/lib/Wayland/Basic/PosixSignal.lean b/lib/Wayland/Basic/PosixSignal.lean
new file mode 100644
index 0000000..45c7361
--- /dev/null
+++ b/lib/Wayland/Basic/PosixSignal.lean
@@ -0,0 +1,23 @@
+import Wayland.Native
+
+/-!
+# POSIX Signals
+
+Data type representing a POSIX signal number.
+-/
+
+namespace Wayland
+
+/-- A POSIX signal number. -/
+structure PosixSignal where
+  signum : UInt32
+  deriving Repr, BEq, Inhabited
+
+/-- The SIGINT (interrupted) signal. -/
+def PosixSignal.SIGINT : PosixSignal := ⟨Native.SIGINT ()⟩
+/-- The SIGUSR1 (first user-defined) signal. -/
+def PosixSignal.SIGUSR1 : PosixSignal := ⟨Native.SIGUSR1 ()⟩
+/-- The SIGUSR2 (second user-defined) signal. -/
+def PosixSignal.SIGUSR2 : PosixSignal := ⟨Native.SIGUSR2 ()⟩
+
+end Wayland
-- 
cgit v1.3.1