package async_smtp

You can search for identifiers within the package.

in-package search v0.2.0

SMTP client and server

Install

sha256=46d57c39e83b57301cee7f8d5a0a3b3b29b691734f06839ea30efd1f3090b8b9

Sourcemodule Base : sig ... end

Sourcetype t = Base.t Core.Blang.t

include Sexplib0.Sexpable.S with type t := t

Sourceval t_of_sexp : Sexplib0.Sexp.t -> t

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

Sourceval permissive_cnf : t -> Base.t list list

permissive_cnf query returns a simplified conjunctive normal form that is more permissive and does not contain negated terms.

There are a couple of special cases to be aware of:

The empty conjunction list (top) is equivalent to True
A disjunction containing a Not is replaced by True
An empty disjuction list (middle) is equivalent to False, and the whole cnf will be rewritten to [ ] .

Sourceval readme : string

Sourceval arg : t Core.Command.Arg_type.t

Sourceval matches_message : t -> Async_smtp.Smtp_mail_log.Message.t -> bool