let
int2enumstate nums =
Logic_const
.term
(
TConst
(
CEnum
(find_enum nums)))