:- module term_io.
:- pragma termination_info(term_io:read_term((builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:read_term_with_op_table((builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_term((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_term_with_op_table((builtin:in), (builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_term_nl((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_term_nl_with_op_table((builtin:in), (builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_constant((builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:format_constant((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term_io:write_variable((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_variable_with_op_table((builtin:in), (builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:quote_string((builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:quoted_string((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term_io:quote_atom((builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:quoted_atom((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term_io:quote_char((builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_escaped_char((builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:escaped_char((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term_io:write_escaped_string((builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:escaped_string((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term_io:quote_single_char((builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:quote_atom((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:quoted_atom((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term_io:write_variable_2((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_term_2((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_term_3((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:write_constant((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(term_io:format_constant((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(term_io:add_escaped_char((builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).