автоматов в ocaml

Я немного новичок в OCaml. Я хочу реализовать алгоритм построения продукта для автоматов в ocaml. Я не понимаю, как представлять автоматы в ocaml. Может ли кто-нибудь мне помочь?