-
FVar: free variables -
BVar: bound variables -
MVar: metavariables [variables for unification ]. -
Lean.Elab.Tactic.*: tactic front-end code that glues toLean.Meta.Tactic.*.
FVar: free variables BVar: bound variables MVar: metavariables [variables for unification ]. Lean.Elab.Tactic.*: tactic front-end code that glues to Lean.Meta.Tactic.*.