tests/lean/csimpAttrAppend.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            set_option trace.compiler.ir.init true

            
            def f (as bs cs : List Nat) : List Nat :=

            
              as ++ bs ++ cs
	set_option trace.compiler.ir.init true
	def f (as bs cs : List Nat) : List Nat :=
	as ++ bs ++ cs