ocaml 中的粉状机器

pri*_*nka 5 ocaml

我想组合两个 Mealy 机器和两个有限状态传感器。如何在 ocaml 中表示 Mealy 机器/传感器?