(* TODO: Implement the missing cases of subst. *)
let rec subst ((e’, x) as s) exp =
match exp with
| Var y ->
Copyright By PowCoder代写 加微信 powcoder
if x = y then e’
(* Applying a list of substitutions to an expression, leftmost first *)
let subst_list subs exp =
List.fold_left (fun exp sub -> subst sub exp) exp subs
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com