blob: 2e4a8249b8d94679a8c6abfae6a69fe4b728a4d4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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
|
