Commit f40875b5 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 9390af13
Suppose I want to annotate every abstraction with its fa.
Or, suppose I want to annotate every abstraction with the
number of uses of the bound name.
Can I easily do it?
Need a map_reduce visitor?
If TVar is a constructor of some type other than term
(e.g. value: one substitues values for variables in terms)
then Toolbox must be adapted.
......
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