Commit 14882475 authored by POTTIER Francois's avatar POTTIER Francois

Comment.

parent 77240a60
......@@ -31,7 +31,9 @@ let apply (copy : 'thing -> 'thing)
: 'thing =
match Atom.Map.find x env with
| u ->
(* Copy the term that is grafted, so as to maintain global uniqueness. *)
(* Possibly copy the term that is grafted, so as to maintain global
uniqueness. The client controls which [copy] operation should be
used here. *)
copy u
| exception Not_found ->
(* [x] is not affected by the substitution, so the original thing is
......
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