package async_smtp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Base : sig ... end
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.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
OCaml

Innovation. Community. Security.