8.18
3 Writing Output Ini
| (require ini/write) | package: ini-lib | 
procedure
i : ini? output-port : output-port? = (current-output-port) 
procedure
(ini->string i) → string?
i : ini? 
| write- | 
| ini- | 
| (require ini/write) | package: ini-lib | 
procedure
i : ini? output-port : output-port? = (current-output-port) 
procedure
(ini->string i) → string?
i : ini?