let
mk_lvar_variable lv t =
VarL
(lv, t)