Module Finite_state_machine_test.HAPlusRegex

module HAPlusRegex: sig .. end

type state =

`\|`	`Start`
`\|`	`H`
`\|`	`Success`
`\|`	`Failure`

type symbol = char

val transition : state ->
       char -> state