:- module getopt.
:- 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)), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_bool_option((builtin:in), (builtin:in)) = (builtin:out), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_int_option((builtin:in), (builtin:in), (builtin:out)), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_int_option((builtin:in), (builtin:in)) = (builtin:out), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_string_option((builtin:in), (builtin:in), (builtin:out)), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_string_option((builtin:in), (builtin:in)) = (builtin:out), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_maybe_int_option((builtin:in), (builtin:in), (builtin:out)), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_maybe_int_option((builtin:in), (builtin:in)) = (builtin:out), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_maybe_string_option((builtin:in), (builtin:in), (builtin:out)), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_maybe_string_option((builtin:in), (builtin:in)) = (builtin:out), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_accumulating_option((builtin:in), (builtin:in), (builtin:out)), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:lookup_accumulating_option((builtin:in), (builtin:in)) = (builtin:out), finite(-5, [no, yes, no, no]), can_loop).
:- pragma termination_info(getopt:process_arguments((builtin:in), (builtin:out), builtin:in((getopt:option_ops)), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(getopt:get_option_defaults(builtin:in((getopt:option_ops)), builtin:out((pred((builtin:out), (builtin:out)) is nondet))), finite(-3, [no, yes, no]), cannot_loop).