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


            
            List.map is not marked as noncomputable

            
            foo is marked as noncomputable

            
            Classical.ofNonempty is marked as noncomputable

            
            Array.map is not marked as noncomputable
	List.map is not marked as noncomputable
	foo is marked as noncomputable
	Classical.ofNonempty is marked as noncomputable
	Array.map is not marked as noncomputable