package async_smtp

  1. Overview
  2. Docs
package async_smtp
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Base : sig ... end
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val 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 [ ] .
val readme : string
val matches_message : t -> Async_smtp.Smtp_mail_log.Message.t -> bool