Module Synchronism

module Synchronism: sig .. end

The way the transition rule is applied, see Types.Synchronism.next_step.

module Synchronous: sig .. end

module Asynchronous: sig .. end

module Sequential: sig .. end