let
gentemp e t : temp_id * il0 =
let
i = new_tempid ()
in
i, make_il0 (
IL0stmtDefTemp
(i, t, e))