val names : string list
val advertised_extensions : (t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t
val authenticated : (t, string option) Fieldslib.Field.t
val tls : (t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t
val helo : (t, string option) Fieldslib.Field.t
val local : (t, Async.Socket.Address.Inet.t) Fieldslib.Field.t
val remote : (t, Async.Socket.Address.Inet.t) Fieldslib.Field.t
val fold : init:'acc__0 -> remote:('acc__0 -> (t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> 'acc__1) -> local:('acc__1 -> (t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> 'acc__2) -> helo:('acc__2 -> (t, string option) Fieldslib.Field.t -> 'acc__3) -> tls:('acc__3 -> (t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t -> 'acc__4) -> authenticated:('acc__4 -> (t, string option) Fieldslib.Field.t -> 'acc__5) -> advertised_extensions:('acc__5 -> (t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t -> 'acc__6) -> 'acc__6
val make_creator : remote:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Async.Socket.Address.Inet.t) * 'acc__1) -> local:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Async.Socket.Address.Inet.t) * 'acc__2) -> helo:((t, string option) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> string option) * 'acc__3) -> tls:((t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> Async_ssl.Std.Ssl.Connection.t option) * 'acc__4) -> authenticated:((t, string option) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> string option) * 'acc__5) -> advertised_extensions:((t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> Async_smtp_types.Smtp_extension.t list) * 'acc__6) -> 'acc__0 -> ('input__ -> t) * 'acc__6
val create : remote:Async.Socket.Address.Inet.t -> local:Async.Socket.Address.Inet.t -> helo:string option -> tls:Async_ssl.Std.Ssl.Connection.t option -> authenticated:string option -> advertised_extensions:Async_smtp_types.Smtp_extension.t list -> t
val map : remote:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> Async.Socket.Address.Inet.t) -> local:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> Async.Socket.Address.Inet.t) -> helo:((t, string option) Fieldslib.Field.t -> string option) -> tls:((t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t -> Async_ssl.Std.Ssl.Connection.t option) -> authenticated:((t, string option) Fieldslib.Field.t -> string option) -> advertised_extensions:((t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t -> Async_smtp_types.Smtp_extension.t list) -> t
val iter : remote:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> unit) -> local:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> unit) -> helo:((t, string option) Fieldslib.Field.t -> unit) -> tls:((t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t -> unit) -> authenticated:((t, string option) Fieldslib.Field.t -> unit) -> advertised_extensions:((t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t -> unit) -> unit
val for_all : remote:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> bool) -> local:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> bool) -> helo:((t, string option) Fieldslib.Field.t -> bool) -> tls:((t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t -> bool) -> authenticated:((t, string option) Fieldslib.Field.t -> bool) -> advertised_extensions:((t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t -> bool) -> bool
val exists : remote:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> bool) -> local:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> bool) -> helo:((t, string option) Fieldslib.Field.t -> bool) -> tls:((t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t -> bool) -> authenticated:((t, string option) Fieldslib.Field.t -> bool) -> advertised_extensions:((t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t -> bool) -> bool
val to_list : remote:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> 'elem__) -> local:((t, Async.Socket.Address.Inet.t) Fieldslib.Field.t -> 'elem__) -> helo:((t, string option) Fieldslib.Field.t -> 'elem__) -> tls:((t, Async_ssl.Std.Ssl.Connection.t option) Fieldslib.Field.t -> 'elem__) -> authenticated:((t, string option) Fieldslib.Field.t -> 'elem__) -> advertised_extensions:((t, Async_smtp_types.Smtp_extension.t list) Fieldslib.Field.t -> 'elem__) -> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user -> 'x0 list