Module Finite_state_machine_test

module Finite_state_machine_test: sig .. end

module TrafficLight: sig .. end

module Turnstile: sig .. end

module HAPlusRegex: sig .. end