let
of_int64 i =
if
compute
then
AIcnst
i
else
AIterm
(term_of_cnst i)