tests/lean/242.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            syntax "0" : term

            
            syntax "'a'" : term

            
            syntax "`a" : term

            
            syntax "\"a" : term
	syntax "0" : term
	syntax "'a'" : term
	syntax "`a" : term
	syntax "\"a" : term