Module Moore

module Moore: sig .. end

A Moore machine M is a LTSA for which

• state attributes are output variable valuations
• transition labels are input variable valuations

module BVal: Valuation.T  with type value = bool

module type T = sig .. end

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