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


          
            
            instance1.lean:6:24-6:29: error: fields missing: 'pure', 'bind'