Module Finite_state_machine

module Finite_state_machine: sig .. end

module type S = sig .. end