:- module getopt.
:- use_module bool, builtin, char, list, map, private_builtin, require, std_util, string.
getopt:process_options(OptionOps_5, Args0_6, Args_7, Result_8) :-
		getopt:process_options(OptionOps_5, Args0_6, V_9, Args_7, Result_8).
getopt:lookup_bool_option(OT_4, Opt_5) = B_6 :-
		getopt:lookup_bool_option(OT_4, Opt_5, B_6).
getopt:lookup_int_option(OT_4, Opt_5) = N_6 :-
		getopt:lookup_int_option(OT_4, Opt_5, N_6).
getopt:lookup_string_option(OT_4, Opt_5) = S_6 :-
		getopt:lookup_string_option(OT_4, Opt_5, S_6).
getopt:lookup_maybe_int_option(OT_4, Opt_5) = MN_6 :-
		getopt:lookup_maybe_int_option(OT_4, Opt_5, MN_6).
getopt:lookup_maybe_string_option(OT_4, Opt_5) = MS_6 :-
		getopt:lookup_maybe_string_option(OT_4, Opt_5, MS_6).
getopt:lookup_accumulating_option(OT_4, Opt_5) = Ss_6 :-
		getopt:lookup_accumulating_option(OT_4, Opt_5, Ss_6).
:- pragma termination_info(getopt:process_options(builtin:in((getopt:option_ops)), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:process_options(builtin:in((getopt:option_ops)), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:lookup_bool_option((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:lookup_bool_option((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(getopt:lookup_int_option((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:lookup_int_option((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(getopt:lookup_string_option((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:lookup_string_option((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(getopt:lookup_maybe_int_option((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:lookup_maybe_int_option((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(getopt:lookup_maybe_string_option((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:lookup_maybe_string_option((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(getopt:lookup_accumulating_option((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:lookup_accumulating_option((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).