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


            
            def f : List Nat → List Nat

            
              | a::xs@(b::bs) => xs

            
              | _             => []


            #print f
	def f : List Nat → List Nat
	\| a::xs@(b::bs) => xs
	\| _ => []

	#print f