class type auth_machine = object .. end
object
end
state_machine
method start : unit -> unit
unit -> unit
method reject_reason : unit -> string
unit -> string