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


            
            example : Id Nat := do

            
              let mut x := 1

            
              have x : Nat := 2

            
              x