我在这里有一个以下 Koka 片段,我希望有人解释调用...