tests/lean/prvNameWithMacroScopes.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            def Lean.instBEqFVarId : BEq Lean.FVarId :=

            
            { beq := Lean.beqFVarId✝ }
	def Lean.instBEqFVarId : BEq Lean.FVarId :=
	{ beq := Lean.beqFVarId✝ }