:- module builtin.
:- pragma termination_info(builtin:unsafe_promise_unique((builtin:in), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(builtin:unsafe_promise_unique((builtin:in)) = (builtin:uo), infinite, cannot_loop).
:- pragma termination_info((builtin:false), infinite, cannot_loop).
:- pragma termination_info(builtin:promise_only_solution((pred((builtin:out)) is cc_multi)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(builtin:promise_only_solution((pred((builtin:out)) is cc_nondet)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(builtin:promise_only_solution_io((pred((builtin:out), (builtin:di), (builtin:uo)) is cc_multi), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(builtin:ordering((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(builtin:'@<'((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(builtin:'@=<'((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(builtin:'@>'((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(builtin:'@>='((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(builtin:get_one_solution((pred((builtin:out)) is cc_multi)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(builtin:get_one_solution((pred((builtin:out)) is cc_nondet)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(builtin:get_one_solution_io((pred((builtin:out), (builtin:di), (builtin:uo)) is cc_multi), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(builtin:call_rtti_generic_unify((builtin:in), (builtin:in)), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(builtin:call_rtti_generic_compare((builtin:out), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), can_loop).