Module Finite_state_machine_test.TrafficLight

module TrafficLight: sig .. end

type state = 

type symbol = 

val transition : state ->
       symbol ->
       state