Module Sendmail_tls.State

type 's state = 's Send_mail_tls_s.t
type event = Colombe__State.Make(Send_mail_tls_s)(Send_mail_tls_p).event =
  1. | Accept
  2. | Recv : 'x Send_mail_tls_p.t * 'x -> event
  3. | Send : 'x0 Send_mail_tls_p.t -> event
  4. | Write of int
  5. | Read of int
  6. | Close
type action = Colombe__State.Make(Send_mail_tls_s)(Send_mail_tls_p).action =
  1. | Send : 'x Send_mail_tls_p.t * 'x -> action
  2. | Recv : 'x0 Send_mail_tls_p.t -> action
  3. | Write of {
    1. buf : string;
    2. off : int;
    3. len : int;
    }
  4. | Read of {
    1. buf : bytes;
    2. off : int;
    3. len : int;
    }
  5. | Close
type 's t = 's Colombe__State.Make(Send_mail_tls_s)(Send_mail_tls_p).t
type 's transition = 's state -> event -> (action * 's state, Send_mail_tls_p.error * 's state) result
val send : 'x Send_mail_tls_p.t -> 'x -> action
val recv : 'x Send_mail_tls_p.t -> action
val write : buf:string -> off:int -> len:int -> action
val read : buf:bytes -> off:int -> len:int -> action
val run : 's t -> Colombe__State.ctx -> event -> ('s state, Send_mail_tls_p.error) Colombe__State.process
val make : init:'s state -> 's transition -> 's t