Module Finite_state_machine_test.Turnstile

module Turnstile: sig .. end

type state =

`\|`	`Locked`
`\|`	`Unlocked`

type symbol =

`\|`	`InsertCoin`
`\|`	`Push`

val transition : state ->
       symbol ->
       state