:- module parser.
:- pragma termination_info(parser:read_term((builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(parser:read_term_with_op_table((builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(parser:read_term((builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(parser:read_term_with_op_table((builtin:in), (builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(parser:read_term_from_string((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:read_term_from_string_with_op_table((builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:read_term_from_string((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:read_term_from_string_with_op_table((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:parse_tokens((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:parse_tokens_with_op_table((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:check_for_errors((builtin:in), (builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:parse_whole_term((builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:init_state((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(parser:final_state((builtin:in), (builtin:out), (builtin:out)), finite(-5, [no, no, yes, no, no]), cannot_loop).