set_return_code.dcl 86 Bytes
Newer Older
John van Groningen's avatar
John van Groningen committed
1 2 3
definition module set_return_code

set_return_code_world	:: !Int !*World -> *World