class type state_machine = object end
object end
method get_state : unit -> state
unit -> state
method add_packet : Jabber.packet -> unit
Jabber.packet -> unit