tests/lean/commandPrefix.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            let_fun this := ();

            
            this : Id Unit

            
            commandPrefix.lean:3:0-3:4: error: unexpected identifier; expected command
	let_fun this := ();
	this : Id Unit
	commandPrefix.lean:3:0-3:4: error: unexpected identifier; expected command