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


            
            import Lean

            
            open Lean


            #eval show CoreM Unit from do

            
              (← getEnv).constants.fold _ _
	import Lean
	open Lean

	#eval show CoreM Unit from do
	(← getEnv).constants.fold _ _