:- module tree234.
:- pragma termination_info(tree234:init((builtin:uo)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info((tree234:init) = (builtin:out), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(tree234:is_empty((builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(tree234:member((builtin:in), (builtin:out), (builtin:out)), finite(-4, [no, no, yes, no, no]), cannot_loop).
:- pragma termination_info(tree234:search((builtin:in), (builtin:in), (builtin:out)), finite(-4, [no, no, yes, no, no]), cannot_loop).
:- pragma termination_info(tree234:lookup((builtin:in), (builtin:in), (builtin:out)), finite(-4, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(tree234:lookup((builtin:in), (builtin:in)) = (builtin:out), finite(-4, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(tree234:lower_bound_search((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(-4, [no, no, yes, yes, no, no]), cannot_loop).
:- pragma termination_info(tree234:lower_bound_lookup((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(-4, [no, no, yes, yes, no, no]), can_loop).
:- pragma termination_info(tree234:upper_bound_search((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(-4, [no, no, yes, yes, no, no]), cannot_loop).
:- pragma termination_info(tree234:upper_bound_lookup((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(-4, [no, no, yes, yes, no, no]), can_loop).
:- pragma termination_info(tree234:insert((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(tree234:set((builtin:di), (builtin:di), (builtin:di), (builtin:uo)), infinite, cannot_loop).
:- pragma termination_info(tree234:set((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(tree234:set((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(tree234:delete((builtin:di), (builtin:in), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(tree234:delete((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:delete((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(tree234:remove((builtin:di), (builtin:in), (builtin:uo), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(tree234:remove((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:remove_smallest((builtin:di), (builtin:uo), (builtin:uo), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(tree234:remove_smallest((builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:keys((builtin:in), (builtin:out)), finite(0, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(tree234:keys((builtin:in)) = (builtin:out), finite(0, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(tree234:values((builtin:in), (builtin:out)), finite(0, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(tree234:values((builtin:in)) = (builtin:out), finite(0, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(tree234:update((builtin:in), (builtin:in), (builtin:in), (builtin:out)), finite(0, [no, no, yes, no, yes, no]), cannot_loop).
:- pragma termination_info(tree234:count((builtin:in), (builtin:out)), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(tree234:count((builtin:in)) = (builtin:out), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(tree234:assoc_list_to_tree234((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:assoc_list_to_tree234((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(tree234:tree234_to_assoc_list((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:tree234_to_assoc_list((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(tree234:foldl((pred((builtin:in), (builtin:in), (builtin:in), (builtin:out)) is det), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:foldl((pred((builtin:in), (builtin:in), (builtin:in), (builtin:out)) is semidet), (builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:foldl((pred((builtin:in), (builtin:in), (builtin:di), (builtin:uo)) is det), (builtin:in), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(tree234:foldl((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(tree234:foldl2((pred((builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)) is det), (builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:foldl2((pred((builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)) is semidet), (builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:foldl2((pred((builtin:in), (builtin:in), (builtin:in), (builtin:out), (builtin:di), (builtin:uo)) is det), (builtin:in), (builtin:in), (builtin:out), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(tree234:foldl2((pred((builtin:in), (builtin:in), (builtin:di), (builtin:uo), (builtin:di), (builtin:uo)) is det), (builtin:in), (builtin:di), (builtin:uo), (builtin:di), (builtin:uo)), infinite, can_loop).
:- pragma termination_info(tree234:map_values((pred((builtin:in), (builtin:in), (builtin:out)) is det), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:map_values((pred((builtin:in), (builtin:in), (builtin:out)) is semidet), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:map_values((builtin:in), (builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(tree234:map_foldl((pred((builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)) is det), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:map_foldl((pred((builtin:in), (builtin:in), (builtin:out), (builtin:in), (builtin:out)) is semidet), (builtin:in), (builtin:out), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:delete_2((builtin:di), (builtin:in), (builtin:uo), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:delete_2((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:remove_2((builtin:di), (builtin:in), (builtin:uo), (builtin:uo), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:remove_2((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:remove_smallest_2((builtin:di), (builtin:uo), (builtin:uo), (builtin:uo), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:remove_smallest_2((builtin:in), (builtin:out), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:keys_2((builtin:in), (builtin:in), (builtin:out)), finite(0, [no, no, yes, yes, no]), cannot_loop).
:- pragma termination_info(tree234:values_2((builtin:in), (builtin:in), (builtin:out)), finite(0, [no, no, yes, yes, no]), cannot_loop).
:- pragma termination_info(tree234:assoc_list_to_tree234_2((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(tree234:tree234_to_assoc_list_2((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).