module Jabbersm: sig end
sig end
type state =
|
Start
Intermediate
Accept
Reject
class type state_machine = object end
object end