我应该为大学作业用 F# 编写一个小程序。其中一个练习要求创建一个具有以下签名的过滤方法：
filter : ('a -> bool) -> list<'a> -> list<'a>。但我很难正确解释这个语法。文档说创建方法的语法是
let [inline] function-name parameter-list [ : return-type ] = function-body. 但我的例子如何适应这个呢？它是一个不带参数但返回三个值的函数吗？
该函数应该过滤给定谓词的列表，这很简单，但如果它不带任何参数，我应该如何传递谓词和列表？我确信我错过了一些重要的事情，因为我无法理解它。