package async_smtp

  1. Overview
  2. Docs

Module Async_smtp_tools.Log_selectorSource

Sourcemodule Base : sig ... end
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 matches_message : t -> Async_smtp.Smtp_mail_log.Message.t -> bool