1 files changed, 23 insertions, 0 deletions
diff --git a/spec/fltk-devices.ads b/spec/fltk-devices.ads
new file mode 100644
index 0000000..d9ce5b1
--- /dev/null
+++ b/spec/fltk-devices.ads
@@ -0,0 +1,23 @@
+
+
+--  Programmed by Jedidiah Barber
+--  Released into the public domain
+
+
+package FLTK.Devices is
+
+
+    type Device is new Wrapper with private;
+
+    type Device_Reference (Data : not null access Device'Class) is
+        limited null record with Implicit_Dereference => Data;
+
+
+private
+
+
+    type Device is new Wrapper with null record;
+
+
+end FLTK.Devices;
+