Module Finite_state_machine_test

module Finite_state_machine_test: sig .. end

module TrafficLight: sig .. end
module Turnstile: sig .. end
module HAPlusRegex: sig .. end