tree a49a3ec5ca5de1c98f21711203a8be79ad792c4c
parent 7b8693eff85d39d7b836fa45cdcf30507d7f8731
author Ralf Jung <post@ralfj.de> 1566933185 +0200
committer Ralf Jung <post@ralfj.de> 1568550194 +0200

drop redundant ParamEnv, and avoid constructing InternVisitor without visiting