:- module char.
:- pragma termination_info(char:'ClassMethod_for_enum__enum____character__arity0______enum__from_int_1'((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(char:'ClassMethod_for_enum__enum____character__arity0______enum__to_int_1'((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(char:to_int((builtin:in)) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(char:to_int((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(char:to_int((builtin:in), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(char:to_int((builtin:out), (builtin:in)), infinite, cannot_loop).
:- pragma termination_info((char:max_char_value) = (builtin:out), infinite, cannot_loop).
:- pragma termination_info(char:max_char_value((builtin:out)), infinite, cannot_loop).
:- pragma termination_info((char:min_char_value) = (builtin:out), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:min_char_value((builtin:out)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:to_upper((builtin:in)) = (builtin:out), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(char:to_upper((builtin:in), (builtin:out)), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(char:to_lower((builtin:in)) = (builtin:out), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(char:to_lower((builtin:in), (builtin:out)), finite(0, [yes, no]), cannot_loop).
:- pragma termination_info(char:lower_upper((builtin:in), (builtin:out)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(char:lower_upper((builtin:out), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(char:is_whitespace((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_upper((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_lower((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_alpha((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_alnum((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_alpha_or_underscore((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_alnum_or_underscore((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_digit((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_binary_digit((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_octal_digit((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:is_hex_digit((builtin:in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(char:digit_to_int((builtin:in), (builtin:out)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(char:int_to_digit((builtin:in), (builtin:out)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(char:int_to_digit((builtin:out), (builtin:in)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(char:det_int_to_digit((builtin:in)) = (builtin:out), finite(0, [no, no]), can_loop).
:- pragma termination_info(char:det_int_to_digit((builtin:in), (builtin:out)), finite(0, [no, no]), can_loop).