let
subst_tenv c =
List
.map (
function
x, t -> x, subst_texp) c