From 7553b7f9d4dddc2235c137d41de8ce22547bebe3 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 1 Jul 2015 17:36:37 +0200 Subject: Initial commit --- ostoolbox.dcl | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 ostoolbox.dcl (limited to 'ostoolbox.dcl') diff --git a/ostoolbox.dcl b/ostoolbox.dcl new file mode 100644 index 0000000..2e4a824 --- /dev/null +++ b/ostoolbox.dcl @@ -0,0 +1,20 @@ +definition module ostoolbox + +// Clean Object I/O library, version 1.2 + +:: OSToolbox + :== Int + +// OSNewToolbox :: *OSToolbox +OSNewToolbox :== 0 + +// RWS ??? add success bool +osInitToolbox :: !*OSToolbox -> *OSToolbox + +// RWS ??? ugly +// OSDummyToolbox :: *OSToolbox +OSDummyToolbox :== 0 + +// PA: moved from world to ostoolbox +worldGetToolbox :: !*World -> (!*OSToolbox,!*World) +worldSetToolbox :: !*OSToolbox !*World -> *World -- cgit v1.2.3