:- module private_builtin.
:- pragma termination_info(private_builtin:builtin_unify_int((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_compare_int((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_unify_character((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_compare_character((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_unify_string((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_compare_string((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_unify_float((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_compare_float((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_unify_pred((builtin:in), (builtin:in)), finite(0, [no, no]), can_loop).
:- pragma termination_info(private_builtin:builtin_compare_pred((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(private_builtin:builtin_unify_tuple((builtin:in), (builtin:in)), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(private_builtin:builtin_compare_tuple((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), can_loop).
:- pragma termination_info(private_builtin:builtin_compare_non_canonical_type((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), can_loop).
:- pragma termination_info((private_builtin:compare_error), infinite, can_loop).
:- pragma termination_info(private_builtin:builtin_int_lt((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_int_gt((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:typed_unify((builtin:in), (builtin:in)), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(private_builtin:typed_unify((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:typed_compare((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no, no, no]), cannot_loop).
:- pragma termination_info(private_builtin:builtin_strcmp((builtin:out), (builtin:in), (builtin:in)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:type_info_from_typeclass_info((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:unconstrained_type_info_from_typeclass_info((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:superclass_from_typeclass_info((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:instance_constraint_from_typeclass_info((builtin:in), (builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:store_ticket((builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:reset_ticket_undo((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(private_builtin:reset_ticket_commit((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(private_builtin:reset_ticket_solve((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info((private_builtin:discard_ticket), finite(0, []), cannot_loop).
:- pragma termination_info((private_builtin:prune_ticket), finite(0, []), cannot_loop).
:- pragma termination_info(private_builtin:mark_ticket_stack((builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:prune_tickets_to((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info((private_builtin:trailed_nondet_pragma_foreign_code), infinite, can_loop).
:- pragma termination_info(private_builtin:free_heap((builtin:di)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:gc_trace((builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:mark_hp((builtin:out)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:restore_hp((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info((private_builtin:reclaim_heap_nondet_pragma_foreign_code), infinite, can_loop).
:- pragma termination_info(private_builtin:unsafe_type_cast((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info((private_builtin:unused), finite(0, []), can_loop).
:- pragma termination_info(private_builtin:nyi_foreign_type_unify((builtin:in), (builtin:in)), finite(0, [no, no, no]), can_loop).
:- pragma termination_info(private_builtin:nyi_foreign_type_compare((builtin:uo), (builtin:in), (builtin:in)), finite(0, [no, no, no, no]), can_loop).
:- pragma termination_info(private_builtin:var((builtin:ui)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:var((builtin:in)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:var((builtin:unused)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:nonvar((builtin:ui)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:nonvar((builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(private_builtin:nonvar((builtin:unused)), infinite, cannot_loop).
:- pragma termination_info(private_builtin:sorry((builtin:in)), infinite, can_loop).
:- pragma termination_info((private_builtin:imp), finite(0, []), cannot_loop).