Commit 1020666b authored by POTTIER Francois's avatar POTTIER Francois

A [let]-expansion.

parent f87d7ba9
......@@ -76,7 +76,8 @@ class virtual ['self] map = object (self : 'self)
'env -> ('bn1, 'term1) abs -> ('bn2, 'term2) abs
= fun _ visit_term env (x1, t1) ->
let x2, env' = self#extend x1 env in
x2, visit_term env' t1
let t2 = visit_term env' t1 in
x2, t2
method private visit_def: 't1 't2 'u1 'u2 .
_ ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment