:- module table_builtin.
:- pragma termination_info(table_builtin:table_simple_is_complete((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_has_succeeded((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_has_failed((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_is_active((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_is_inactive((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_mark_as_succeeded((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_mark_as_failed((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_mark_as_active((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_simple_mark_as_inactive((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_io_in_range((builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_io_has_occurred((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_io_copy_io_state((builtin:di), (builtin:uo)), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(table_builtin:table_io_left_bracket_unitized_goal((builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_io_right_bracket_unitized_goal((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_setup((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_is_complete((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_is_active((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_mark_as_active((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_get_ans_table((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_answer_is_not_duplicate((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_new_ans_slot((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_nondet_return_all_ans((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(table_builtin:table_multi_return_all_ans((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(table_builtin:table_nondet_return_all_ans_2((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(table_builtin:pickup_answer_list((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:return_next_answer((builtin:in), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_int((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_start_int((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_char((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_string((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_float((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_enum((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_user((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_lookup_insert_poly((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_save_int_ans((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(table_builtin:table_save_char_ans((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(table_builtin:table_save_string_ans((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(table_builtin:table_save_float_ans((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(table_builtin:table_save_io_state_ans((builtin:in), (builtin:in), (builtin:ui)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(table_builtin:table_save_any_ans((builtin:in), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(table_builtin:table_restore_int_ans((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_restore_char_ans((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_restore_string_ans((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_restore_float_ans((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_restore_io_state_ans((builtin:in), (builtin:in), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_restore_any_ans((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(table_builtin:table_loopcheck_error((builtin:in)), infinite, can_loop).
:- pragma termination_info(table_builtin:table_create_ans_block((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info((table_builtin:table_report_statistics), finite(0, []), cannot_loop).