:- module store.
:- pragma termination_info(store:new((builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:new_mutvar((builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:get_mutvar((builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:set_mutvar((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:new_cyclic_mutvar((builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(store:new_ref((builtin:di), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:ref_functor((builtin:in), (builtin:out), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(store:arg_ref((builtin:in), (builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:new_arg_ref((builtin:di), (builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:set_ref((builtin:in), (builtin:in), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:set_ref_value((builtin:in), (builtin:di), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:copy_ref_value((builtin:in), (builtin:uo), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:extract_ref_value((builtin:di), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(store:unsafe_arg_ref((builtin:in), (builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:unsafe_new_arg_ref((builtin:di), (builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:init((builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:do_init((builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:unsafe_new_uninitialized_mutvar((builtin:out), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(store:unsafe_ref_value((builtin:in), (builtin:uo), (builtin:di), (builtin:uo)), infinite, cannot_loop).