[SOLVED] 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代写加微信 assignmentchef

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代考加微信: assignmentchef QQ: 1823890830 Email: [email protected]