:- module bimap.
:- pragma termination_info(bimap:init((builtin:out)), finite(2, [no, no, no]), cannot_loop).
:- pragma termination_info((bimap:init) = (builtin:out), finite(2, [no, no, no]), cannot_loop).
:- pragma termination_info(bimap:is_empty((builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(bimap:search((builtin:in), (builtin:in), (builtin:out)), finite(-6, [no, no, yes, no, no]), cannot_loop).
:- pragma termination_info(bimap:search((builtin:in), (builtin:out), (builtin:in)), finite(-6, [no, no, yes, no, no]), cannot_loop).
:- pragma termination_info(bimap:set((builtin:in), (builtin:in), (builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(bimap:lookup((builtin:in), (builtin:in), (builtin:out)), finite(-6, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(bimap:lookup((builtin:in), (builtin:in)) = (builtin:out), finite(-6, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(bimap:reverse_lookup((builtin:in), (builtin:out), (builtin:in)), finite(-6, [no, no, yes, no, no]), can_loop).
:- pragma termination_info(bimap:insert((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(bimap:set((builtin:in), (builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(bimap:ordinates((builtin:in), (builtin:out)), finite(-2, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(bimap:ordinates((builtin:in)) = (builtin:out), finite(-2, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(bimap:coordinates((builtin:in), (builtin:out)), finite(-2, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(bimap:coordinates((builtin:in)) = (builtin:out), finite(-2, [no, no, yes, no]), cannot_loop).
:- pragma termination_info(bimap:to_assoc_list((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(bimap:to_assoc_list((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(bimap:from_assoc_list((builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(bimap:from_assoc_list((builtin:in)) = (builtin:out), infinite, can_loop).