ocaml - Ocaml 模块签名

Question

你能解释一下这段代码吗：

module type MP_ACTION_DISPATCHER = sig
    type t
    val dispatch : t -> MULTI.state -> MULTI.action -> MULTI.state Lwt.t
end

Answer 1

t这是实现类型和功能的模块（即模块的类型）的签名dispatch。

该函数dispatch将 typet的值、type 的值和 typeMULTI.state的值作为输入，MULTI.action并返回 type 的值MULTI.state Lwt.t（Lwt 是一个单线程库）。MULTI.state Lwt.t是返回 type 值的线程类型MULTI.state。