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


            
            import Lean.Compiler.NameMangling


            #eval "ab12".mangle

            
            #eval "ÿ".mangle

            
            #eval "α₁".mangle

            
            #eval "𝒫".mangle
	import Lean.Compiler.NameMangling

	#eval "ab12".mangle
	#eval "ÿ".mangle
	#eval "α₁".mangle
	#eval "𝒫".mangle