:- module bool.
:- pragma termination_info(bool:'ClassMethod_for_enum__enum____bool__bool__arity0______enum__from_int_1'((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(bool:'ClassMethod_for_enum__enum____bool__bool__arity0______enum__to_int_1'((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(bool:or((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(bool:or((builtin:in), (builtin:in), (builtin:out)), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(bool:or_list((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(bool:or_list((builtin:in), (builtin:out)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(bool:and((builtin:in), (builtin:in)) = (builtin:out), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(bool:and((builtin:in), (builtin:in), (builtin:out)), finite(0, [no, yes, no]), cannot_loop).
:- pragma termination_info(bool:and_list((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(bool:and_list((builtin:in), (builtin:out)), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(bool:not((builtin:in)) = (builtin:out), finite(0, [no, no]), cannot_loop).
:- pragma termination_info(bool:not((builtin:in), (builtin:out)), finite(0, [no, no]), cannot_loop).