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


            
            set_option showPartialSyntaxErrors true

            
            def f : IO Unit := do

            
              if let
	set_option showPartialSyntaxErrors true
	def f : IO Unit := do
	if let