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


            
            def doSomething (db:String) : String := do

            
              let mut cl : Nat × Nat → Nat × Nat := λx => x

            
              cl := (λ(x,y) => (x, y⟩)

            
              db
	def doSomething (db:String) : String := do
	let mut cl : Nat × Nat → Nat × Nat := λx => x
	cl := (λ(x,y) => (x, y⟩)
	db