package async_smtp

  1. Overview
  2. Docs
package async_smtp
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Base : sig ... end
type t = Base.t Core.Blang.t
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 arg : t Core.Command.Arg_type.t
val matches_message : t -> Async_smtp.Smtp_mail_log.Message.t -> bool
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct