:- module ops.
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__arg_priority_1'((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__max_priority_1'((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__lookup_op_2'((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__lookup_postfix_op_4'((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(1, [no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__lookup_binary_prefix_op_5'((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), finite(0, [no, no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__lookup_prefix_op_4'((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(1, [no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__lookup_operator_term_4'((builtin:in), (builtin:out), (builtin:out), (builtin:out)), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:'ClassMethod_for_ops__op_table____ops__mercury_op_table__arity0______ops__lookup_infix_op_5'((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), finite(0, [no, no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:lookup_infix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(ops:lookup_operator_term((builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(ops:lookup_prefix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(ops:lookup_binary_prefix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(ops:lookup_postfix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out)), infinite, can_loop).
:- pragma termination_info(ops:lookup_op((builtin:in), (builtin:in)), infinite, can_loop).
:- pragma termination_info(ops:max_priority((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(ops:arg_priority((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info((ops:init_mercury_op_table) = (builtin:uo), finite(0, [no]), cannot_loop).
:- pragma termination_info(ops:op_specifier_to_class((builtin:in), (builtin:out)), finite(2, [no, no]), cannot_loop).
:- pragma termination_info(ops:init_op_table((builtin:uo)), finite(0, [no]), cannot_loop).
:- pragma termination_info((ops:init_op_table) = (builtin:out), finite(0, [no]), cannot_loop).
:- pragma termination_info(ops:lookup_mercury_infix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), finite(0, [no, no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:lookup_mercury_operator_term((builtin:in), (builtin:out), (builtin:out), (builtin:out)), finite(0, [no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:lookup_mercury_prefix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(1, [no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:lookup_mercury_binary_prefix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out), (builtin:out)), finite(0, [no, no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:lookup_mercury_postfix_op((builtin:in), (builtin:in), (builtin:out), (builtin:out)), finite(1, [no, no, no, no]), cannot_loop).
:- pragma termination_info(ops:lookup_mercury_op((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(ops:mercury_max_priority((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(ops:mercury_arg_priority((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).