我目前正在尝试使用OCaml和GTK（使用lablgtk绑定）。但是，文档并不是最好的，虽然我可以研究如何使用大多数功能，但我坚持改变笔记本页面（切换到不同的选项卡）。 我找到了the function that I need to use，但我不知道如何使用它。该文档似乎暗示它位于GtkPackProps.Notebook的子模块中，但我不知道如何调用此模块。 另外，这个函数的类型签名与我之前见
我玩弄corecursive数据结构，并很早就在我的代码，我得到一个错误类型： module Graph where
import Data.Map
data Node a = Node { getLabel :: a, getInEdges :: [Edge a], getOutEdges :: [Edge a] }
data Edge a = Edge { getStart :: No