Module Mealy

module Mealy: sig .. end

Mealy machines.

A Mealy machine M is a LTS for which transition labels are pairs of input and output variable boolean valuations.

module type TRANSITION = sig .. end

module Transition: TRANSITION

module type T = sig .. end

module Make (S : Lts.STATE) : T  with type state = S.t