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


            
            697.lean:24:12-24:19: error: invalid use of 'partial', 'pregion' is not a function

            
              P Unit
	697.lean:24:12-24:19: error: invalid use of 'partial', 'pregion' is not a function
	P Unit