Log_selector (async_smtp.tools.Async_smtp_tools.Log

module Base : sig ... end

type t = Base.t Core.Blang.t

include sig ... end

val t_of_sexp : Sexplib.Sexp.t ‑> t

val sexp_of_t : t ‑> Sexplib.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 arg : t Core.Command.Arg_type.t

val matches_message : t ‑> Async_smtp.Std.Smtp_mail_log.Message.t ‑> bool