我目前正在尝试一起使用OCaml和GTK(使用lablgtk绑定).但是,文档并不是最好的,虽然我可以弄清楚如何使用大多数功能,但我仍然坚持改变笔记本页面(切换到不同的选项卡).
我找到了我需要使用的功能,但我不知道如何使用它.文档似乎暗示它是在子模块中GtkPackProps.Notebook,但我不知道如何调用它.
此外,此功能的类型特征与我之前看到的不同.
val switch_page : ([> `notebook ], Gpointer.boxed option -> int -> unit) GtkSignal.t
我认为它返回一个GtkSignal.t,但我不知道如何将第一个参数传递给函数(括号中的整个部分).
有没有人有一些示例代码显示如何更改笔记本页面,或者可以给我一些如何做到这一点的提示？