let
type_of exp = exp.expr_type