[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 Assignmentchef 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]