CS代写 (* TODO: Implement the missing cases of subst. *)

(* 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