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


            
            def test (f : Nat → Nat) (g : Nat → Nat) :=

            
              f.comp g $ 10


            example : test (·+1) (·*2) = 21 :=

            
              rfl
	def test (f : Nat → Nat) (g : Nat → Nat) :=
	f.comp g $ 10

	example : test (·+1) (·*2) = 21 :=
	rfl