definition module WriteOptionsFile

import
	StdFile,PmTypes;

ApplicationOptionsToFlags :: !ApplicationOptions -> Int
FlagsToApplicationOptions :: !Int !ApplicationOptions -> ApplicationOptions

write_options_file :: !{#.Char} !.Int !.Int !.Int !.Int !.Int !.Int !*a -> !*(!Bool,!*a) | FileSystem a
