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


            
            structDefault.lean:11:11-11:15: error: type mismatch

            
              true

            
            has type

            
              Bool : Type

            
            but is expected to have type

            
              Nat : Type
	structDefault.lean:11:11-11:15: error: type mismatch
	true
	has type
	Bool : Type
	but is expected to have type
	Nat : Type