:- module enum.
:- pragma termination_info(enum:to_int((builtin:in)) = (builtin:out), infinite, can_loop).
:- pragma termination_info(enum:from_int((builtin:in)) = (builtin:out), infinite, can_loop).