let
elet_expansion t =
expt
Vmap
.empty t