:- module enum.
:- pragma exceptions(function, (enum.to_int), 2, 0, may_throw(user_exception)).
:- pragma exceptions(function, (enum.from_int), 2, 0, may_throw(user_exception)).
:- 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).
