Scheme 类型检查器：“n'”的声明；提供，但“n'；在：n中没有定义

我试图在Lisp/drRacket中实现阶乘计算器功能，但遇到了问题，无法解决

#lang打字/拍子
（：n个）
（定义（faktoriyel n）
（续）
（（（和（>=n0）（您应该声明函数的类型，而不是变量
n
：

(: faktoriyel (-> Number Number))

（->Number Number）
是指将
Number
作为参数并返回
Number
的函数

请参见文档中的。
类型声明需要在函数中。您正在为一个不存在的全局变量提供类型声明。我可以在哪里准确声明它？