pub fn elaborate_meta_generated_expr(
program: &Program,
expr: &Expr,
locals: &[(String, TypeExpr)],
) -> Result<(Expr, TypeExpr), ElabError>Expand description
Elaborate a generated runtime expression using a restricted local environment.