ocaml - Ocaml モジュール sig

Question

このコードを説明していただけますか:

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

Answer 1

tこれは、 typeと functionを実装するモジュールの署名 (つまり、モジュールの型)dispatchです。

この関数は、 typeの値、 type の値、およびdispatchtype の値を入力として取り、 typeの値を返します(Lwt はモナド スレッド ライブラリです)。type の値を返すスレッドのタイプです。tMULTI.stateMULTI.actionMULTI.state Lwt.tMULTI.state Lwt.tMULTI.state