:- module pqueue.
:- pragma termination_info(pqueue:init((builtin:out)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info((pqueue:init) = (builtin:out), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(pqueue:insert((builtin:in), (builtin:in), (builtin:in), (builtin:out)), finite(5, [no, no, yes, yes, yes, no]), cannot_loop).
:- pragma termination_info(pqueue:insert((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), finite(5, [no, no, yes, yes, yes, no]), cannot_loop).
:- pragma termination_info(pqueue:remove((builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(pqueue:to_assoc_list((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(pqueue:to_assoc_list((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(pqueue:assoc_list_to_pqueue((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(pqueue:assoc_list_to_pqueue((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(pqueue:remove_2((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).